| |
| 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] |