Sur les TOL - Systèmes unairesMichel LatteuxR.A.I.R.O. Informatique théorique, 9 R3 (1975) 51-62DOI: https://doi.org/10.1051/ita/197509R300511
