1. Bastide, R., Palanque, P.: Petri nets with objects for the design, validation and prototyping of user-driven interfaces, In: Proceedings INTERACT’90, Cambridge: Elsevier, 625–631 (1990).
2. Belotti, V.: Integrating Theoreticians’ and Practitioners’ Perspectives with Design Rationale, In: Proceedings INTERCHI’93, New York: ACM Press, 101–106 (1993).
3. Blandford, A., Young, R.: Developing Runnable User Models: Separating the Problem Solving Techniques from the Domain Knowledge, Amodeus Document UM/WP6 (1993).
4. Blandford, A., Young, R.: Separating User and Device Descriptions for Modeling Interactive Problem Solving, Amodeus Project Document UM/WP27 (1994).
5. Byrne, M., Wood, S, Sukaviriya, P., Foley, J, Kieras, D.: Automating Interface Evaluation, In: Proceedings CHI’94, New York: ACM Press, 232–237 (1994).