Monien, Burkhard: The LBA-problem and the deterministic tape complexity of two-way one-counter languages over a one-letter alphabet. In: Acta Informatica. Vol.8.1977. 2009, page 371-382