An Introduction to Formal Language Theory

by Moll, Robert N., Arbib, Michael A., Kfoury, A.J.
Published 1988

The Design of Well-Structured and Correct Programs

by Alagic, Suad, Arbib, Michael A.
Published 1978