The handbook of formal methods in human-computer interaction - Weyers, Benjamin 1983-; Bowen, Judy; Dix, Alan; Palanque, Philippe (Springer, 2017)