Asspegique: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy; M.-A. Choquer; Stéphane Kaplan; Françoise Schlienger; Frédéric Voisin (STACS, 1987)