Programs are predicates’, in (1985)

by C A R Hoare
Venue:eds), Mathematical Logic and Programming Languages