Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Duke, D. J., & Puerta, A. (1999). Design, specification and verification of interactive systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, D. J. Duke, και Angel Puerta. Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Wien: Springer, 1999.
Παραπομπή σε μορφή MLA (9th εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, et al. Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. Springer, 1999.