- Philippe A. Palanque, Fabio Paternò, editors, Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings. Volume 1946 of Lecture Notes in Computer Science, Springer, 2000.