Παραπομπή σε μορφή APA (7η εκδ.)

Paterno, F. (1995). Interactive systems: Design, specification, and verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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