Philippe Brun, Michel Beaudouin-Lafon. A Taxonomy and Evaluation of Formalisms for the Specification of Interactive Systems. In Mark A. R. Kirby, Alan J. Dix, Janet Finlay, editors, People and Computers X, Proceedings of HCI 95, Huddersfield, August 1995. pages 197-212, Cambridge University Press, 1995.
Abstract is missing.