The Handbook of Formal Methods in Human-Computer Interaction - Weyers, Benjamin. (Springer International Publishing : Imprint: Springer, 2017)