Formal specification of user interfaces

Christopher A. Rouff. Formal specification of user interfaces. ACM SIGCHI Bull., 28(3):27-33, 1996. [doi]

Abstract

Abstract is missing.