1. F. Barbier, Géneralisation et préservation au travers de la combinaison des logique des résultats de théorie des modèles standards liés à la structuration des spécifications algébriques, PhD thesis, Université Evry, 2005
2. On the integration of the observability and reachability concepts;Bidoit,2002
3. Higher-order logic and theorem proving for structured specifications;Borzyszkowski,2000
4. Model Theory;Chang,1990
5. Institutionalising many-sorted coalgebraic modal logic;Cîrstea;Electronic Notes in Theoretical Computer Science,2002