Lawvere's Basic Theory of the Category of Categories. - Georges Blanc; Anne Preller (J. Symb. Log., 1975)

Équivalence naturelle et formules logiques en théorie des catégories. - Georges Blanc (Arch. Math. Log., 1978)

Production En Temps Réel Et Complexité De Structure De Suites Infinies. - Noëlle Bleuzen-Guernalec; Georges Blanc (RAIRO Theor. Informatics Appl., 1989)

Constraints in Rational Abstract Models. - Georges Blanc; Noëlle Bleuzen-Guernalec (WCLP, 1991)

Algèbres effectives dans la programmation logique avec constraintes. - Georges Blanc; Noëlle Bleuzen-Guernalec (RAIRO Theor. Informatics Appl., 1992)