Parallelizable algebras. Matthias Ragaz (1987) Archiv für mathematische Logik und Grundlagenforschung
Proposal for a natural formalization of functional programming concepts Patrick Bellot, Djamil Sarni (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications