1
Published 1992
Springer London
Subjects: ...Logics and Meanings of Programs...