Recursive definitions of partial functions and their computations. - Jean-Marie Cadiou; Zohar Manna (Proving Assertions About Programs, 1972)

Recursive definitions of partial functions and their computations. - Jean-Marie Cadiou (1972)

Mechanizable Proofs about Parallel Processes - Jean-Marie Cadiou; Jean-Jacques Lévy (SWAT, 1973)

ESPRIT in action. - Jean-Marie Cadiou (Future Gener. Comput. Syst., 1986)

Advanced Information Processing in ESPRIT - Status and Plans. - Jean-Marie Cadiou (FGCS, 1988)

Information Technologies: The European Co-operation Approach to Research and Development. - Jean-Marie Cadiou (Forum Wissenschaft und Technik, 1990)