Title: Computing in Systems Described by Equations, Author: M.J. O'Donnell
Title: Trustworthy Compilers / Edition 1, Author: Vladimir O. Safonov
Title: The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks, Author: Leonard Bolc