- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 2 |      | Pierre Chartier: ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries. ZB 2002: 394-395 |
| 1998 | ||
| 1 | | Pierre Chartier: Formalisation of B in Isabelle/HOL. B 1998: 66-82 |