A Basic for teoretical computer science. - Arbib, Michael A.; Kfoury, A. J.; Moll, Robert N. (Berlin : Springer Verlag, 1981)