- CSB - MetaPress - Google - Bing - Yahoo
 | 1989 | |
|---|---|---|
| 2 |      | A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein: From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods 1989: 395-431 |
| 1984 | ||
| 1 | | H. Perdrix: Proprietes Church-Rosser de systemes de reecriture equationnels ayant la propriete de terminaison faible. STACS 1984: 97-108 |
| 1 | Michel Bidoit | [2] |
| 2 | Marie-Claude Gaudel | [2] |
| 3 | Jacques Hagelstein | [2] |
| 4 | A. Mauboussin | [2] |