Weyers, B., Bowen, J., Dix, A. und Palanque, P. (Hrsg.) (2017) The Handbook of Formal Methods in Human-Computer Interaction [cd]. 1 st ed. 2017, Human–Computer Interaction Series. 1 st ed. 2017. Cham: Springer International Publishing. doi:10.1007/978-3-319-51838-1.
Chicago Manual of Style 17th edition (full note)Weyers, Benjamin, Judy Bowen, Alan Dix, und Philippe Palanque, Hrsg. The Handbook of Formal Methods in Human-Computer Interaction. Cd. Human–Computer Interaction Series. 1 st ed. 2017. Cham: Springer International Publishing, [2017?], Cham: Springer International Publishing, [2017?]. https://doi.org/10.1007/978-3-319-51838-1.
American Psychological Association 7th editionThe Handbook of Formal Methods in Human-Computer Interaction. (ca. 2017). [Cd]. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Hrsg.), Human–Computer Interaction Series (1 st ed. 2017). Springer International Publishing. https://doi.org/10.1007/978-3-319-51838-1
Modern Language Association 9th editionWeyers, B., J. Bowen, A. Dix, und P. Palanque, Herausgeber. „The Handbook of Formal Methods in Human-Computer Interaction“. Human–Computer Interaction Series, 1 st ed. 2017, cd, Springer International Publishing, 2017, https://doi.org/10.1007/978-3-319-51838-1.
ISO-690 (author-date, Deutsch)WEYERS, Benjamin, Judy BOWEN, Alan DIX und Philippe PALANQUE (Hrsg.). 1 st ed. 2017. Cham: Springer International Publishing. ISBN 9783319518381