G. KahnBooksConstruction, amélioration et vérification de programmesSemantics of data typesCoroutines and networks of parallel processesSemantics of Concurrent ComputationFunctional programming languages and computer architecture, Portland, Oregon, USA, September 14-16, 1987Author data: Open Library
