1. Heather Alexander. Formally-based techniques for dialogue design. In Proceedings of the HCI’87 Conference on People and Computers III, Systems and Interfaces, pages 201–213, 1987.
2. Apple Computer, Inc. Apple Macintosh Human Interface Guidelines, 1992.
3. Apple Computer, Inc. Human Interface Guidelines: The Apple Desktop Interface, 1992.
4. Remi Bastide and Philippe Palanque. Petri net objects for the design, validation and prototyping of user-driven interfaces. In Proceedings of IFIP INTERACT’90: Human-Computer Interaction, Detailed Design: Construction Tools, pages 625631, 1990.
5. L.M.F. Carneiro-Coffin, D.D. Cowan, C.J.P. Lucena, and D. Smith. An experience using JASMINIUM — formalization assisting with the design of user interfaces. In Richard N. Taylor and Joélle Coutaz, editors, Software Engineering and Human-Computer Interaction; ICSE’94 Workshop on SE-HCI: Joint Research Issues, volume 896 of Lecture Notes in Computer Science, pages 141–158, Sorrento, Italy, 16–17 May 1994. Springer-Verlag.