Mathematical models for computing science
C. A. R. Hoare
Book Title
Proceedings of the NATO Advanced Study Institute on Deductive Program Design‚ Marktoberdorf‚ Germany
Editor
Manfred Broy
Pages
115−164
Year
1996
C. A. R. Hoare