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