Janet Bertot and Yves Bertot,
"The CtCoq experience",
Proceedings of the Fifth International Conferences on Algebraic
Methodology and Software Technology (AMAST'96), Munich, July, 1996.
Janet Bertot and Yves Bertot,
"CtCoq: a system presentation",
Proceedings of the Thirteenth International Conference on
Automated Deduction (CADE-13), New Brunswick (NJ, USA),
July 1996.
J. Bertot, Y. Bertot, Y. Coscoy, H. Goguen, and F. Montagnac,
User Guide to the CtCoq Proof Environment, System Documentation,
February 1996.
I. Jacobs and J. Bertot,
``The Sophtalk Tutorials'',
Inria Technical Report no. 149, February 1993.
I. Jacobs, F. Montagnac, J. Bertot, D. Clément, and V. Prunet,
``The Sophtalk Reference manual'',
Inria Technical Report no. 150, February 1993.
D. Clément, J. Incerpi, and G. Kahn
``Centaur: Towards a ``software tool box" for Programming Environments",
Proceedings of the International Workshop on Environments,
LNCS 467, Springer-Verlag, Chinon (France), September, 1989.
D. Clément and J. Incerpi
``Specifying Behavior of Graphic Objects Using Esterel",
Proceedings of TAPSOFT'89 Colloquim on Current Issues in Programming
Languages,
LNCS 352, Springer-Verlag, Barcelona, March, 1989.
Also appears as Inria Research Report no. 863.
P. Borras, D. Clément, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang,
and V. Pascual,
``Centaur: the system'',
The Third Symposium on Software Development Environments (SDE3),
ACM SIGSOFT'88, Boston, December 1988.
Also appears as Inria Research Report no. 777 (December 1987).