Pattern Matching with Abstract Data Types (1993)

by F Burton, R Cameron
Venue:Journal of Functional Programming