| |
| 2002 | ||
|---|---|---|
| 3 | EE | Jean-Raymond Abrial, Louis Mussat: On Using Conditional Definitions in Formal Theories. ZB 2002: 242-269 |
| 1998 | ||
| 2 | EE | Jean-Raymond Abrial, Louis Mussat: Introducing Dynamic Constraints in B. B 1998: 83-128 |
| 1991 | ||
| 1 | Louis Mussat: Parallel Programming with Bags. Research Directions in High-Level Parallel Programming Languages 1991: 203-218 | |
| 1 | Jean-Raymond Abrial | [2] [3] |