Formal aspects of task based design. - Panos Markopoulos 001; Peter Johnson 001; Jon Rowson (DSV-IS, 1997)

Composition and Synthesis with a Formal Interactor Model. - Panos Markopoulos 001; Jon Rowson; Peter Johnson 001 (Interact. Comput., 1997)

Validating Semi-Formal Specifications of Interactors as Design Representations. - Panos Markopoulos 001; Giorgios Papatzanis; Peter Johnson 001; Jon Rowson (DSV-IS, 1998)

Working Group 2 Report. - Jon Rowson (DSV-IS, 1998)

Formal architectural abstractions for interactive software. - Panos Markopoulos 001; Peter Johnson 001; Jon Rowson (Int. J. Hum. Comput. Stud., 1998)

Cross-contextual reference in human-computer interaction. - Jon Rowson; Peter Johnson 001; Graham White 001 (DSV-IS, 1999)