Monien, Burkhard: The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet. . In: Acta Informatica. Jg.8.1977, S.371382