Theorem Proving in Higher Order LogicsRichard J. Boulton, Paul B. Jackson · First published 2003Open the Tome
A tool to support formal reasoning about computer languagesRichard J. Boulton · First published 1996Open the Tome
