Pattern matching with abstract data types (1993)

by F Burton, R Cameron
Venue:J. of Functional Programming