A. Mauboussin H. Perdrix Michel Bidoit Marie-Claude Gaudel Jacques Hagelstein From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. 395-431 1989 conf/am/1989 Algebraic Methods db/conf/am/am1989.html#MauboussinPBGH89 http://dx.doi.org/10.1007/3-540-53912-3_30