1. Une sémantique algébrique pour une spécification différenciée des exceptions et des erreurs: Application à l'implémentation et aux primitives de structuration des spécifications formelles;Bernot,1986
2. Good functors … are those preserving philosophy!;Bernot,1987
3. Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors;Bernot;Theoret. Comput. Sci.,1986
4. Algebraic data types: Structured specifications and fair presentations;Bidoit,1982
5. Modélisation de la notion de tests de programme;Bougé,1982