Oscar H. Ibarra, Ian McQuillan: On the Complexity of Decision Problems for Counter Machines with Applications to Coding Theory. DLT 2022: 177-188