Pattern matching with abstract data types (1993)

by F W Burton, R D Cameron
Venue:J. Funct. Program