M.J.C. Gordon

State Transition Assertions: A Case Study

M.J.C. Gordon, 1994 .

The HOL Logic and System

M.J.C. Gordon, Andrew M. Pitts, 1994 .

Overview of the Project

M.J.C. Gordon, J. P. Bowen, J. A. Camilleri, 1994 .