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