Norbert Cot Quelques propriétés des arbres penchés récursifs. 119-129 1980 CLAAP conf/caap/1980 db/conf/caap/caap80.html#Cot80