F.van Breugel, Metric Semantics for Second Order Communication (1995)

by J de Bakker