Formally-based tools and techniques for human-computer dialogues. - Heather Alexander (1986)

Formally-Based Techniques for Dialogue Design. - Heather Alexander (BCS HCI, 1987)

Comments on "Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches". - Heather Alexander (IEEE Trans. Software Eng., 1988)

Student Facilitated PBL - A Capstone Collaborative Learning Experience in the Griffith University MBBS Program. - Heather Alexander; Raymond Tedman; Barbara Wallace; Helen Pountney (Int. J. Emerg. Technol. Learn., 2011)