Trustworthy compilers - Safonov, V. O. (Vladimir Olegovich) (Hoboken, N.J. : John Wiley & Sons, 2010)
Includes bibliographical references and index.
Keywords: Compilers (Computer programs); Interpreters (Computer programs)