Proof of a program: Find (1971)

by C A R Hoare
Venue:Communication ACM