J. Coenen Hoare's Logic and VDM. 91-105 1995 7 Formal Asp. Comput. 1 db/journals/fac/fac7.html#Coenen95