Procedures and Parameters, an Axiomatic Approach (1971)

by C A R Hoare
Venue:Symposium on Semantics of Algorithmic Languages