Use of a specification construction and animation tool to teach formal methods. - Ian C. Morrey; Jawed I. A. Siddiqi; Graham Buckberry; Richard Hibberd (COMPSAC, 1993)

Towards a system for the construction, clarification, discovery and formalisation of requirements. - Jawed I. A. Siddiqi; Ian C. Morrey; Richard Hibberd; Graham Buckberry (ICRE, 1994)

Understanding and Exploring Formal Specifications. - Jawed I. A. Siddiqi; Ian C. Morrey; Richard Hibberd; Graham Buckberry (Ann. Softw. Eng., 1998)

A toolset to support the construction and animation of formal specifications. - Ian C. Morrey; Jawed I. A. Siddiqi; Richard Hibberd; Graham Buckberry (J. Syst. Softw., 1998)

Prototyping Z specifications in extended lisp. - Richard Bramwell Hibberd (2001)