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

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)

ASSPEGIQUE: An Integrated Specification Environment. - Michel Bidoit; Francis Capy; Christine Choppy (RTA, 1989)

The design and specification of the ASSPEGIQUE database. - Michel Bidoit; Francis Capy; Christine Choppy (DISCO, 1990)