Theorem Proving in Higher Order Logics by Alessandro B. Montanari & V.A. Carreno