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