1. Bernot G., Bidoit M., Choppy C.: Algebraic semantics of exception handling; Proc. ESOP 86, Mar 1986, LNCS 213, Springer-Verlag, pp 173–186.
2. Informatik-Fachberichte;M. Bidoit,1985
3. Lecture Notes on Computer Science;M. Bidoit,1984
4. Bidoit M., Capy F., Choppy C., Choquet N., Gresse C., Kaplan S., Schlienger F., Voisin F.: ASSPRO: un environment de programmation interactif et intégré; Techniques et Sciences Informatiques, vol 6, no 1, Janvier 1987.
5. Bidoit M., Gaudel M.C., Mauboussin A.: How to make algebraic specifications more understandable ? An experiment with the PLUSS specification language; L.R.I. Report no 343, April 1987 (also submitted for publication).