1. A. Ashcroft and A. Manna, “The translation of ‘go to’ programs to ‘while’ programs,” in Proc. Int. Fed. Inform. Processing Congr., 1971, vol. 1. Amsterdam, The Netherlands: North-Holland, 1972.
2. Res. Rep. RC-4937;SL Bloom,1974
3. A. Bohm and A. Jacopini, “Flow diagrams, turing machines and languages with only two formation rules,” Commun. Ass. Comput. Mach., May 1966.
4. A. Bruno and A. Stieglitz, “The expression of algorithms by charts,” J. Ass. Comput. Mach., July 1972.
5. C. C. Elgot, “The common algebraic structure of exit automata and machines,” Comput., Jan. 1971.