J. E. Hopcroft J. D. Ullman: Formal languages and their relation to automata
. Addison-Wesley, 1969. MR 0237243
 M. P. Chytil: Crossing-bounded automata and their relation to the LBA-problem. In Tagung liber Automatentheorie und Formale Sprachen, 1974, Universitat Dortmund.
 J. Hartmanis H. B. Hunt III: The LBA Problem and its Importance in the Theory of Computing. TR 73-171, May 1973, Cornell University.