Shamus P. Smith. Working group 1 report. In David J. Duke, Angel R. Puerta, editors, Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. pages 270-275, Springer, 1999.
Abstract is missing.