The design of interpreters, compilers, and editors for augmented transition networks = Augmented transition networks - Bolc, Leonard (Springer, 1983)