Theorem Proving in Higher Order Logicsby David Basin, Burkhart WolffWriting a summary for young readers…For young readersBook data: Open Library