A Logic with Temporal Glue for Mixed Specifications. - Marc Aiguier; Fabrice Barbier; Pascal Poizat (FOCLASA, 2003)

Résultats de théorie abstraite des modèles dans le cadre des institutions : vers la combinaison de logiques. (Abstract Model Theory Results in the Framework of the Institutions: Towards logics combination). - Fabrice Barbier (2005)

An Institution-independent Proof of the Beth Definability Theorem. - Marc Aiguier; Fabrice Barbier (Stud Logica, 2007)