Dix, A., Weyers, B., Harrison, M. D., Bowen, J., & Palanque, P. (2017). Case Studies. The Handbook of Formal Methods in Human-Computer Interaction, pp. 89-121. doi:10.1007/978-3-319-51838-1_4

Dix, Alan, Benjamin Weyers, Michael D. Harrison, Judy Bowen, and Philippe Palanque. "Case Studies." The Handbook of Formal Methods in Human-Computer Interaction 2017: 89-121.

Dix, Alan, et al. "Case Studies." The Handbook of Formal Methods in Human-Computer Interaction 2017: 89-121.