(1995). Interactive systems: Design, specification, and verification ; 1st Eurographics Workshop Bocca di Magra, Italy, June 1994. Springer.
Chicago-Zitierstil (17. Ausg.)Interactive Systems: Design, Specification, and Verification ; 1st Eurographics Workshop Bocca Di Magra, Italy, June 1994. Berlin [u.a.]: Springer, 1995.
MLA-Zitierstil (9. Ausg.)Interactive Systems: Design, Specification, and Verification ; 1st Eurographics Workshop Bocca Di Magra, Italy, June 1994. Springer, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.