"Theorem Proving in Higher Order Logics, 21 conf., TPHOLs 2008" - читать интересную книгу автора (Otmane Ait Mohamed, César Munoz, Sofiène Tahar)