Computable Data Types. - Gérard Comyn; G. Werner (MFCS, 1979)

Approximations of Infinitary Objects. - Gérard Comyn; Max Dauchet (ICALP, 1982)

Metrical an Ordered Properties of Powerdomains. - Sophie Tison; Max Dauchet; Gérard Comyn (FCT, 1983)