Jonathan M. Ford

Formal Foundations of Operational Semantics

Ian A. Mason, Jonathan M. Ford, 2003, High. Order Symb. Comput..

Operational Techniques in PVS - A Preliminary Evaluation

Ian A. Mason, Jonathan M. Ford, 2001, Electron. Notes Theor. Comput. Sci..

Modular Certification

Jonathan M. Ford, S. Owre, J. Rushby, 2002 .

2 A Whirlwind Tour of the Church – Rosser Theorem Following in the footsteps of

Ian A. Mason, Jonathan M. Ford, 2022 .