Systèmes algorithmiques, systèmes fonctionnels. - Louis Nolin (ICALP, 1972)

Formalization of Exel. - Louis Nolin; G. Ruggiu (POPL, 1973)

Algorithmes universels. - Louis Nolin (RAIRO Theor. Informatics Appl., 1974)

Les modèles informatiques des lambda-calculus. - Louis Nolin (Lambda-Calculus and Computer Science Theory, 1975)

NL1 Machine - A concept of a high performance data type architecture. - Edwige E. Pissaloux; Louis Nolin (Microprocessing and Microprogramming, 1989)