Proof of a Program: FIND (1971)

by C A R Hoare
Venue:CACM