A basis for theoretical computer science - Arbib, Michael A. 1940-; Kfoury, Assaf J.; Moll, Robert N. (Springer, 1981)