"Equational Specification of Abstract Types and Combinators."

Karl Meinke (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics