Christian Queinnec Une Formalisation des Systèmes Conversationnels. 303-336 1981 15 ITA 4 db/journals/ita/ita15.html#Queinnec81