A BASIS FOR THEORETICAL COMPUTER SCIENCE - Arbib, Michael A.; Moll, Robert N. (New York Springer-Verlag, 1991)
Keywords: Machine Theory; Formal Languages