| 1990 | ||
|---|---|---|
| 2 | J. M. Cadiou: Information Technologies: The European Co-operation Approach to Research and Development. Forum Wissenschaft und Technik 1990: 1-9 | |
| 1973 | ||
| 1 | J. M. Cadiou, Jean-Jacques Lévy: Mechanizable Proofs about Parallel Processes FOCS 1973: 34-48 | |
| 1 | Jean-Jacques Lévy | [1] |