RRL: Rewrite Rule Laboratory user's manual (1989)

by D Kapur, H Zhang