| Imperial College of Science Technology and Medicine, TR-94/5 |
| |
| |
| International Computer Science Institute |
| |
| Istituto Per La Ricerca Scientifica E Tecnologica |
| |
| János Bolyai Mathematical Society |
| |
| Johannes Kepler Universität |
| |
| King's College London Publications |
| |
| 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 |
| |