Hoare's logic and VDM http://www.springerlink.com/content/mk583100700h6ux0/by J. Coenen1 ContactReceived: 15 August 1993 Accepted: 15 March 1994 Abstract A relational framework which unifies Hoare's logic and VDM is presented. Within this …