| Laboratoire de Spécification et de Vérification, ENS Cachan |
| |
| Linköping University Electronic Press |
| |
| LMU München, Technical Report 9311 |
| |
| Lund University Cognitive Science |
| |
| Max-Planck-Institut für Informatik |
| |
| |
| |
| Microsoft Research, Microsoft Corporation |
| |
| |
| NASA Ames Research Center |
| |
| North-Holland Publishing Co. |
| |