1. Domain theory;Abramsky,1995
2. Alesi F., P. Baldan, G. Belle, and J.J.M.M. Rutten, Solutions of functorial and non-functorial metric domain equations, Electronic Notes in Theoretical Computer Science 1 (1995). URL: http://www.elsevier.nl/locate/entcs/volume1.html.
3. “Constructive Analysis”;Bishop,1985
4. Bonsangue, M.M., F.van Breugel, J.J.M.M. Rutten, Generalized Ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding, Theoretical Computer Science 193 (1998), pp. 1–51.
5. A notion of limit for enriched categories;Borceux;Bull. Austral. Math. Soc,1975