Recensione di M. Arbib, A. Kfoury, R. Moll, A Basis for Theoretical Computer Science e A. Kfoury, R. Moll e M. Arbib, A Programming Approach to Computability.