Arbib, M. A.: A Basis for Theoretical Computer Science