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)

Toolset to support a systematic strategy for AI development. - Jawed Siddiqi; Ian C. Morrey (ICTAI, 1995)

A visual requirements validation environment for the reverse engineering of formal specifications from rapid prototypes. - Mehmet Bülent Özcan; Ian C. Morrey (ACM SIGSOFT Softw. Eng. Notes, 1995)

Towards Quality Requirements via Animated Formal Apecifications. - Jawed I. A. Siddiqi; Ian C. Morrey; Chris Roast; Mehmet Bülent Özcan (Ann. Softw. Eng., 1997)

Requirements Validation based on the Visualization of Executable Formal Specifications. - Mehmet Bülent Özcan; Paul William Parry; Ian C. Morrey; Jawed I. A. Siddiqi (COMPSAC, 1998)

Visualisation of Executable Formal Specifications for User Validation. - Mehmet Bülent Özcan; Paul William Parry; Ian C. Morrey; Jawed I. A. Siddiqi (Services and Visualization: Towards User-Friendly Design, 1998)

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)