Böhm, Jacopini. "Flow diagrams, turing machines and languages with only two formation rules"cited onceCited byLoop (computational)
