Higher-Order Algebra, Logic, and Term Rewriting
-
nidottu
,
Englanti, 1996