Albert R. Meyer Floyd-Hoare Logic Defines Semantics: Preliminary Version conf/lics/LICS1 1986 LICS 44-48 To appear in TCS db/conf/lics/lics86.html#Meyer86