Program Proving: Jumps and Functions
M. Clint and C.A.R. Hoare
Journal
Acta Informatica
Number
3
Pages
214–224
Volume
1
Year
1972
M. Clint and C.A.R. Hoare