Skip to main content

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