Executing Formal Specifications by Translation to Higher Order Logic Programming.

James H. Andrews Executing Formal Specifications by Translation to Higher Order Logic Programming. 17-32 1997 conf/tphol/1997 TPHOLs db/conf/tphol/tphol97.html#Andrews97 http://dx.doi.org/10.1007/BFb0028383