Formal specification and verification of synchronous concurrent algorithms. - Keith Michael Hobley (1990)

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. - Victoria Stavridou; Joseph A. Goguen; Andrew Stevens; Steven M. Eker; Serge N. Aloneftis; Keith Michael Hobley (TPCD, 1992)

Analysis and Assessment of Advanced Road Transport Telematic Systems. - Keith M. Hobley; Peter H. Jesty (SAFECOMP, 1995)

Integrity Levels and their Application to Road Transport Systems. - Peter H. Jesty; Keith M. Hobley (SAFECOMP, 1996)