Procedures and Parameters: An Axiomatic Approach
C.A.R. Hoare
Book Title
Symposium On Semantics of Algorithmic Languages
Editor
E. Engeler
Number
188
Pages
102–116
Publisher
Springer−Verlag
Series
Lecture Notes in Mathematics
Year
1971
C.A.R. Hoare