1. The translation of ‘goto’ programs to ‘while’ programs;Aschcroft,1972
2. Flow diagrams, Turing machines and languages with only two formation rules;Böhm;Comm. ACM,1966
3. On folk theorems;Harel;Comm. ACM,1980
4. On the control power of integer division;Ibarra,1981
5. The Art of Computer Programming: Vol. 3, Sorting and Searching;Knuth,1973