Proof of a Program: FIND
C.A.R. Hoare
Journal
Communications of the ACM
Month
January
Number
1
Pages
39–45
Volume
14
Year
1971
C.A.R. Hoare