Interactors and Haggis: Executable specifications for interactive systems. - Meurig Sage; Chris W. Johnson 001 (DSV-IS, 1997)

Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. - Meurig Sage; Chris W. Johnson 001 (INTERACT, 1997)

Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. - Meurig Sage; Chris W. Johnson 001 (DSV-IS, 1998)

FranTk - a declarative GUI language for Haskell. - Meurig Sage (ICFP, 2000)

Data Capture for Clinical Anaesthesia on a Pen-based PDA: Is It a Viable Alternative to Paper? - Martin Gardner 002; Meurig Sage; Philip D. Gray; Chris Johnson (BCS HCI/IHM, 2001)

A multi-scaled display technique for PDAs. - Meurig Sage; Martin Gardner 002; Philip D. Gray (CHI Extended Abstracts, 2001)

Dynamic Links for Mobile Connected Context-Sensitive Systems. - Philip D. Gray; Meurig Sage (EHCI, 2001)

Declarative support for prototyping interactive systems. - Meurig Sage (2001)

Formally verified, rapid prototyping for Air Traffic Control. - Meurig Sage; Chris W. Johnson 001 (Reliab. Eng. Syst. Saf., 2002)