Eurographics Workshop Bocca di Magra, Italy, & Paterno, F. (1995). Interactive systems: Design, specification, and verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994. Springer.
Chicago-Zitierstil (17. Ausg.)Eurographics Workshop Bocca di Magra, Italy, und Fabio Paterno. Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994. Berlin: Springer, 1995.
MLA-Zitierstil (9. Ausg.)Eurographics Workshop Bocca di Magra, Italy, und Fabio Paterno. 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.