Some Techniques for Compile-Time Analysis of User-Computer Interactions

• 1 November 1980
• journal article
• Published by IBM in IBM Journal of Research and Development
• Vol. 24  (6) , 716-731
• https://doi.org/10.1147/rd.246.0716

Abstract