Rewrite systems, pattern matching, and code generation (1987)

by E Pelegr-Llopart