Procedures and parameters: An axiomatic approach (1971)

by C A R Hoare
Venue:Lecture Notes in Mathematics, 188:102{116