Purely Functional Implementation of a Logic. - F. Keith Hanna; Neil Daeche (CADE, 1986)

Veritas+: A Specification Language Based on Type Theory. - F. Keith Hanna; Neil Daeche; Mark Longley (Hardware Specification, Verification and Synthesis, 1989)

Specification and Verification Using Dependent Types. - F. Keith Hanna; Neil Daeche; Mark Longley (IEEE Trans. Software Eng., 1990)

The Veritas Design Logic: A User's View. - Keith Hanna; Neil Daeche (TPCD, 1992)

Implementation of the Veritas Design Logic. - Keith Hanna; Neil Daeche; Gareth Howells 001 (TPCD, 1992)

Strongly-Typed Theory of Structures and Behaviours. - Keith Hanna; Neil Daeche (CHARME, 1993)