Higher-Order Algebra, Logic, and Term Rewriting: Second International ...
Gilles Dowek & Jan Heering & Karl Meinke & Bernhard Möller
Principles of Programming Languages
Gilles Dowek