GILROY, Stephen W und HARRISON, Michael D (Hrsg.). 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540341468.
Elsevier - Harvard (with titles)Gilroy, S.W., Harrison, M.D. (Hrsg.), 2006. Interactive Systems. Design Specification, and Verification : 12 th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers, 1 st ed. 2006. ed, Programming and Software Engineering. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/11752707
American Psychological Association 7th editionInteractive Systems. Design Specification, and Verification : 12 th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers. (ca. 2006). [Cd]. In S. W. Gilroy & M. D. Harrison (Hrsg.), Programming and Software Engineering (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11752707
Springer - Basic (author-date)Gilroy SW, Harrison MD (Hrsg.) (2006) Interactive Systems. Design Specification, and Verification : 12 th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers, 1 st ed. 2006. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Gilroy, Stephen W/ Harrison, Michael D (Hrsg.), Interactive Systems. Design Specification, and Verification : 12 th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers, 1 st ed. 2006 , Berlin, Heidelberg 2006.