A basic for theoretical computer science - Arbib, Michael A.; Kfoury, A. J.; Moll, Robert N. (The AKM series in theoretical computer science, 1981)