Flow diagrams, turing machines and languages with only two formation rules. - Corrado Böhm; Giuseppe Jacopini (Commun. ACM, 1966)

A condition for identifying two elements of whatever model of combinatory logic. - Giuseppe Jacopini (Lambda-Calculus and Computer Science Theory, 1975)