ÉditorialITAR.A.I.R.O. Informatique théorique, 10 R2 (1976) 3DOI: https://doi.org/10.1051/ita/197610R200031