Procedures and parameters: An axiomatic approach (1971)

by C A R Hoare
Venue:Lecture Notes in Mathematics, 188:102–116. tel-00491041, version 1 - 10 Jun 2010