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)

Functional programming applications. - Mark Longley (1991)

Transacted Memory for Smart Cards. - Pieter H. Hartel; Michael J. Butler; Eduard de Jong; Mark Longley (FME, 2001)