1. Valiant, L.G.,Deterministic one-counter automata, JCSS 10 (1975)340–350.
2. Manna,Z.,Mathematical theory of computation, McGraw-Hill Inc.(1974)Chap.4.
3. Garland, S.J.and D.C. Luckham,Program schemes, recursion schemes, and formal languages, JCSS 7 (1973)119–160.
4. Plaisted,D.A.,Flowchart schemata with counters, Proc.4th Annual ACM Symp. on Theory of Computing (1972)44–51.
5. Ae,T.,T.Kikuno and N.Tamura,Ianov schemes with one counter (to appear in Japanese).