A basis for Theoretical Computer Science (1981)

by M A Arbib, A J Kfoury, R N Moll