Gérard Comyn Max Dauchet Approximations of Infinitary Objects. 116-127 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#ComynD82 http://dx.doi.org/10.1007/BFb0012762