Book

Theorem Proving in Higher Order Logics

by David Basin, Burkhart Wolff