Compiler Technology: Tools, Translators and Language Implementation (The Springer International Series in Engineering and Computer Science, 422, Band 422)