BibliographieRAIRO-ITARAIRO. Inform. théor., 13 3 (1979) 299DOI: https://doi.org/10.1051/ita/1979130302991