Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Harrison, M. D., & Torres, J. C. (1997). Design, specification and verification of interactive systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997. Springer Verlag.
Παραπομπή σε μορφή Chicago (17η εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, M. D. Harrison, και J. C. Torres. Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997. Wien: Springer Verlag, 1997.
Παραπομπή σε μορφή MLA (9th εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, et al. Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997. Springer Verlag, 1997.