Compiler generators : what they can do, what they might do, and what they will probably never do - Tofte, Mads (Berlin: Springer-Verlag, 1990)