1. Declarative Task Description as a User-Interface Structuring Mechanism
2. “Taking artifacts seriously,” In SW-Ergonomie '89, Task-Oriented System Design and Functionality, and , Eds., ACM/GI, Teubner, Stuttgart, 1989, pp. 36–50.
3. , Task-orienting representation of asynchronous user interfaces, In Proceedings CHI' 89, Human Factors in Computing Systems, ACM/SIGCHI, May 1989, pp. 183–188.
4. and , “A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80,” In J. Object-Oriented Programming, 25–49 (Aug./Sept. 1988).
5. and , Eds., Formal Methods in Human-Computer Interaction, Cambridge University Press, Cambridge, 1990.