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