Flow diagrams, turing machines and languages with only two formation rules

Corrado Böhm, Giuseppe Jacopini. Flow diagrams, turing machines and languages with only two formation rules. Communications of the ACM, 9(5):366-371, 1966. [doi]

Abstract

Abstract is missing.