1
by Robertson, Paul
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...

2
by Laddaga, Robert
Published 2003
Springer Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...

3
Published 2001
Springer Berlin Heidelberg
Subjects: ...Logics and Meanings of Programs...