SpringerLink (Online service), Graham, T. C. N., & Palanque, P. (2008). Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), T. C. Nicholas Graham, και Philippe Palanque. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers. Springer Berlin Heidelberg, 2008.
