Rewrite Systems, Pattern Matching, and Code Generation (1987)

by E Pelegr'i-Llopart