J.W. de Bakker and
F. van Breugel.
From Banach to Milner: Metric Semantics for Second Order Communication and Concurrency.
In G.D. Plotkin, C. Stirling, and M. Tofte, editors,
Proof, Language and Interaction: Essays in Honour of Robin Milner,
Foundations of Computing Series,
pages 99-132. The MIT Press. 2000.
