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