"Theorem Proving in Higher Order Logics, 10 conf., TPHOLs'97" - читать интересную книгу автора (Elsa L. Gunter, Amy Felty)