Flexible building of specialized information retrieval systems application to the management of APL functions as a programming aid. - Jean-Claude Pagès; Anne Mauboussin (APL, 1974)

Runnable protocol specifications using the logic interpreter SLOG. - N. Choquet; Laurent Fribourg; Anne Mauboussin (PSTV, 1985)

How to Make Algebraic Specifications More Understandable?. - Michel Bidoit; Marie-Claude Gaudel; Anne Mauboussin (Algebraic Methods, 1987)

From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. - Anne Mauboussin; H. Perdrix; Michel Bidoit; Marie-Claude Gaudel; Jacques Hagelstein (Algebraic Methods, 1989)

How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. - Michel Bidoit; Marie-Claude Gaudel; Anne Mauboussin (Sci. Comput. Program., 1989)

Design Decisions for the Incremental Adage Framework. - Jean-Louis Giavitto; Guy Rosuel; Agnès Devarenne; Anne Mauboussin (ICSE, 1990)