Graham, T.C.N. und Palanque, P. (Hrsg.) (2008) „Interactive Systems. Design, Specification, and Verification : 15 th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings“, Programming and Software Engineering. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-70569-7.

Graham, T. C. Nicholas, und Philippe Palanque, Hrsg. „Interactive Systems. Design, Specification, and Verification : 15 th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-70569-7.

Graham, T. C. N., … Palanque, P. (Hrsg.). (ca. 2008). Interactive Systems. Design, Specification, and Verification : 15 th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-70569-7

Graham, T. C. N., und P. Palanque, Herausgeber. „Interactive Systems. Design, Specification, and Verification : 15 th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings“. Programming and Software Engineering, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-70569-7.

GRAHAM, T. C. Nicholas und Philippe PALANQUE (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540705697