A basis for theoretical computer science - Arbib, Michael A.; Kfoury, A. J.; Moll, Robert N. (New York : Springer-Verlag, 1981)
1
Keywords: Machine theory; Formal languages