Karel Culík Michael A. Arbib Sequential and Jumping Machines and their Relation to Computers Acta Inf. 2 1973 162-171 db/journals/acta/acta2.html#CulikA73