Maurice Pouzet Bernard Roux Ubiquity in Category for Metric Spaces and Transition Systems. 291-307 1996 17 Eur. J. Comb. 2-3 http://dx.doi.org/10.1006/eujc.1996.0025 db/journals/ejc/ejc17.html#PouzetR96