1. A time-space tradeoff for sorting on a general sequential model of Computation;Borodin;Proc. 12th STOC,1980
2. Introduction to Automata Theory, Languages and Computation;Hopcroft,1979
3. On similarity and duality of computation;Hong;Proc. 21st FOCS,1980
4. Storage modification machines;Schönhage,1979