APA-Zitierstil (7. Ausg.)

Weyers, B., Bowen, J., Dix, A., & Palanque, P. (2017). The handbook of formal methods in human-computer interaction. Springer. https://doi.org/10.1007/978-3-319-51838-1

Chicago-Zitierstil (17. Ausg.)

Weyers, Benjamin, Judy Bowen, Alan Dix, und Philippe Palanque. The Handbook of Formal Methods in Human-computer Interaction. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-51838-1.

MLA-Zitierstil (9. Ausg.)

Weyers, Benjamin, et al. The Handbook of Formal Methods in Human-computer Interaction. Springer, 2017. https://doi.org/10.1007/978-3-319-51838-1.