Burkhard Monien The LBA-Problem and the Deterministic Tape Complexity of Two-Way One-Counter Languages over a One-Letter Alphabet. Acta Inf. 8 1977 371-382 db/journals/acta/acta8.html#Monien77 http://dx.doi.org/10.1007/BF00271345