1. Composing specifications;Abadi;ACM Trans. Program. Lang. Syst.,1993
2. From Banach to Milner: Metric Semantics for Second Order Communication and Concurrency;de Bakker;Proof, Language, and Interaction,2000
3. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales;Banach;Fundamenta Mathematicae,1922
4. The foundations of Esterel;Berry;Proof, Language, and Interaction,2000
5. The chemical abstract machine;Berry;Theoretical Computer Science,1992