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