Pattern Matching with Abstract Data Types.

F. Warren Burton Robert D. Cameron Pattern Matching with Abstract Data Types. 171-190 1993 3 J. Funct. Program. 2 db/journals/jfp/jfp3.html#BurtonC93