Heather Alexander. Formally-Based Techniques for Dialogue Design. In Dan Diaper, R. Winder, editors, People and Computers III, Proceedings of Third Conference of the British Computer Society Human-Computer Interaction Specialist Group, University of Exeter, 7-11 September 1987. pages 201-214, Cambridge University Press, 1987.
Abstract is missing.