Présentation des travaux existants
Le système Bali, université de Münich
[DvO-00],[DvO-01] Claude
Bibliographie du
projet BALI
Le système Jive, université de Haagen
[MPH-99],[PHM-99],[MPH-00]
Xavier
Bibliographie
du projet JIVE
Le système LOOP, université de Nijmegen
Christine
Bibliographie du
projet LOOP
Langages orientés objets dans NuPrl
[Ensemble],[Hickey]
Christine
Annotations JML
Jean-Christophe
Page de JML
Bibliographie