1
by Brent, R. P., Zimmermann, Paul
Published 2011
Cambridge University Press
... favourite language, while keeping a high-level description and avoiding too low-level or machine-dependent...