The Handbook of Formal Methods in Human-Computer Interactionby Philippe PalanqueWriting a summary for young readers…For young readersBook data: Open Library