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