Franck van Breugel Claudio Hermida Michael Makkai James Worrell An Accessible Approach to Behavioural Pseudometrics. 1018-1030 2005 conf/icalp/2005 ICALP http://dx.doi.org/10.1007/11523468_82 db/conf/icalp/icalp2005.html#BreugelHMW05