APA-referens (7:e uppl.)
T. C. Nicholas Graham, P. P. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings. Springer.
Chicago-referens (17:e uppl.)
T. C. Nicholas Graham, Philippe Palanque. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings. Berlín, Alemania: Springer.
MLA-referens (9:e uppl.)
T. C. Nicholas Graham, Philippe Palanque. Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings. Springer.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.