1. G. D. Abowd. Formal Aspects of Human-Computer Interaction. PhD thesis, University of Oxford Computing Laboratory: Programming Research Group, 1991. Available as Technical Monograph PRG-97.
2. R.J.R. Back and K. Sere. From action systems to modular systems. In M. Naftalin, T. Denvir, and M. Bertran, editors, Proceedings of FME’94: Industrial Benefit of Formal Methods, number 873 in Lecture Notes in Computer Science, pages 1–25. Formal Methods Europe, Springer-Verlag, October 1994.
3. A.J. Dix. Formal Methods for Interactive Systems. Computers and People. Academic Press, 1991.
4. D. Duke and M. Harrison. Abstract interaction objects. Computer Graphics Forum, 12 (3): 25–36, 1993.
5. B. Fields, M. Harrison, and P. Wright. Modelling interactive systems and providing task relevant information. In F. Paternò, editor, Proceedings, EUROGRAPHICS Workshop on the Design, Specification, Verification of Interactive Systems, Bocca di Magra, Italy, Eurograph-ics Seminar Series. Springer-Verlag, 1995.