Theorem Proving in Higher Order Logics - Hutchison, David (Springer, 2017)
330 p.