John W. Roach, M. Nickson. Formal specifications for modeling and developing human/computer interfaces. In Raoul N. Smith, Richard W. Pew, Ann Janda, editors, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI 1983, Boston, Massachusetts, USA, December 12-15, 1983. pages 35-39, ACM, 1983. [doi]
Abstract is missing.