THE DESIGN OF INTERPRETERS, COMPILERS, AND EDITORS FOR AUGMENTED TRANSITION NETWORKS - Finin, Timothy Wilking (Springer, 1983)