ETAG: Some applications of a formal representation of the user interface. - Gerrit C. van der Veer; Diederik Broos; Kenneth Donau; Mark J. Fokke; Felix Yap (INTERACT, 1990)