APA aipamena

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 Style aipamena

Eurographics Workshop Bocca di Magra, Italy, and Fabio Paterno. Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994. Berlin: Springer, 1995.

MLA aipamena

Eurographics Workshop Bocca di Magra, Italy, and Fabio Paterno. Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994. Springer, 1995.