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

Juan M. Lafuente. Some Techniques for Compile-Time Analysis of User-Computer Interactions. IBM Journal of Research and Development, 24(6):716-731, 1980.

Abstract

Abstract is missing.