Equational Specification of Abstract Types and Combinators.

Karl Meinke

Browse the full CSL paper archive.