Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Μαρκόπουλος, Π., & Johnson, P. (1998). Design, specification and verification of interactive systems' 98: Proceedings of the Eurographics Workshop, in Abingdon, UK, June 3-5, 1998. Springer-Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Πάνος Μαρκόπουλος, και Peter Johnson. Design, Specification and Verification of Interactive Systems' 98: Proceedings of the Eurographics Workshop, in Abingdon, UK, June 3-5, 1998. Wien: Springer-Verlag, 1998.
Παραπομπή σε μορφή MLA (9th εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, et al. Design, Specification and Verification of Interactive Systems' 98: Proceedings of the Eurographics Workshop, in Abingdon, UK, June 3-5, 1998. Springer-Verlag, 1998.