Michel Latteux Grzegorz Rozenberg Commutative One-Counter Languages are Regular. 54-57 1984 29 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss29.html#LatteuxR84