Michel Bidoit Francis Capy Christine Choppy M.-A. Choquer Stéphane Kaplan Françoise Schlienger Frédéric Voisin Asspegique: An Integrated Specification Environment. 471 1987 conf/stacs/1987 STACS db/conf/stacs/stacs87.html#BidoitCCCKSV87