Formal Methods in Human-Computer Interactionby Philippe Palanque, Fabio PaternoWriting a summary for young readers…For young readersBook data: Open Library