1. Stål O Aanderaa. 1973. On k-tape versus (k-1)-tape real time computation. IBM Thomas J. Watson Research Division. Stål O Aanderaa. 1973. On k-tape versus (k-1)-tape real time computation. IBM Thomas J. Watson Research Division.
2. Bowen Alpern and Fred B Schneider. 1985. Defining liveness. Information processing letters 21 4 (1985) 181--185. Bowen Alpern and Fred B Schneider. 1985. Defining liveness. Information processing letters 21 4 (1985) 181--185.
3. Regular Functions and Cost Register Automata
4. Regular combinators for string transformations