The Handbook of Formal Methods in Human-Computer InteractionBenjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque · First published 2017Open the Tome
