Title: Trustworthy Compilers, Author: Vladimir O. Safonov
Title: The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks, Author: Leonard Bolc