Robert J. K. Jacob. Executable specifications for a human-computer interface. 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 28-34, ACM, 1983. [doi]
Abstract is missing.