1. TheMunich Project CIP. Volume 1: The wide-spectrum languageCIP-L;Bauer,1985
2. Bernot, G. (1987) Good functors…are those preserving philosophy. In Proceedings of the summer Conference on Category Theory and ComputerScience, LNCS 283, Springer-Verlag, pp. 182–195
3. Abstractdata types with exceptionhandling;Bernot;Theoretical ComputerScience,1986
4. Bidoit, M. (1989) PLUSS, un langagepour le développement de spécifications algébriques modulaires, Thèsed'état, Université de Paris-Sud
5. Howto make algebraic specifications more understandable? An experiment with the PLUSS specificationlanguage;Bidoit;Science of ComputerProgramming,1989