The Handbook of Formal Methods in Human-Computer Interaction - Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (Springer, 2017)