Essi dedicarono gran parte della loro vita allo studio della macchina di Turing e dell'architettura di Von Neumann, arrivando a enunciare, nel 1966, il celebre Teorema di Böhm-Jacopini ...