1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, OUP, vol. 3, pp. 1–168 (1994)
2. Baddeley, A.J.: Hausdorff metric for capacities. Technical Report BS-R9127, CWI, Dept. of Operations Research, Statistics, and System Theory (1991)
3. Bonsangue, M.M., van Breugel, F., Rutten, J.: Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding. Th. Comp. Sci. 193, 1–51 (1998)
4. de Alfaro, L., Majumdar, R., Raman, V., Stoelinga, M.: Game relations and metrics. In: 22nd IEEE Symp. Logic in Comp. Sci (LICS 2007), pp. 99–108 (2007)
5. Desharnais, J., Edalat, A., Panangaden, P.: Bisimulation for labelled Markov processes. Information and Computation 179(2), 163–193 (2002)