Programs are Predicates - Hoare, C (1992)