Panos Markopoulos, Peter Johnson, Jon Rowson. Formal aspects of task based design. In Michael D. Harrison, Juan Carlos Torres, editors, Design, Specification and Verification of Interactive Systems 97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain. pages 209-224, Springer, 1997.
Abstract is missing.