André Arnold Max Dauchet Sul l'inversion des morphisms d'arbres. 26-35 1978 conf/icalp/1978 ICALP db/conf/icalp/icalp78.html#ArnoldD78 http://dx.doi.org/10.1007/3-540-08860-1_3