Luc Boasson. An Iteration Theorem for One-Counter Languages. In Conference Record of Third Annual ACM Symposium on Theory of Computing, 1971, Shaker Heights, Ohio, USA. pages 116-120, ACM, 1971.
@inproceedings{Boasson71, title = {An Iteration Theorem for One-Counter Languages}, author = {Luc Boasson}, year = {1971}, researchr = {https://researchr.org/publication/Boasson71}, cites = {0}, citedby = {0}, pages = {116-120}, booktitle = {Conference Record of Third Annual ACM Symposium on Theory of Computing, 1971, Shaker Heights, Ohio, USA}, publisher = {ACM}, }