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