A comparative study of one-counter Ianov schemes. - Tadashi Ae; Toru Kikuno; Norio Tamura (Theoretical Computer Science, 1977)