Theorem Proving in Higher Order Logics
-
nidottu
,
Englanti, 2000