Juan Mendez Lafuente
-
Some techniques for compile-time analysis of user-computer interactions
IBM Journal of Research and Development
Language facilities for programming user-computer dialogues