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.
@inproceedings{Smith99:1, title = {Working group 1 report}, author = {Shamus P. Smith}, year = {1999}, researchr = {https://researchr.org/publication/Smith99%3A1}, cites = {0}, citedby = {0}, pages = {270-275}, booktitle = {Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999}, editor = {David J. Duke and Angel R. Puerta}, publisher = {Springer}, isbn = {3-211-83405-2}, }