Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Palanque, P., & Bastide, R. (1995). Design, specification and verification of interactive systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, Phillipe Palanque, και R. Bastide. Design, Specification and Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995. Wien: Springer, 1995.
Παραπομπή σε μορφή MLA (9th εκδ.)Eurographics Workshop on Design, Specification and Verification of Interactive Systems, et al. Design, Specification and Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995. Springer, 1995.