Indexed counter languagesJ. Duske, M. Middendorf and R. ParchmannRAIRO-Theor. Inf. Appl., 26 1 (1992) 93-113DOI: https://doi.org/10.1051/ita/1992260100931