R.: Procedures and Parameters: an Axiomatic Approach (1971)

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