A Basis for Theoretical Computer Science - Arbib Michael A.; A.J.Kfoury; Robert N.Moll (New York Springer-Verlag, 1981)