Programs are predicates (1992)

by C A R Hoare
Venue:In Proceedings of the final fifth generation conference