Laurent Pierre Sylviane R. Schwer Rational Index of Vector Addition Systems Languages. 503-525 1989 26 Acta Inf. 6 db/journals/acta/acta26.html#PierreS89 http://dx.doi.org/10.1007/BF00263577