“A Generic Theorem Prover (Lecture Notes in Computer Science)”