Marcelo P. Fiore: An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. Math. Struct. Comput. Sci. 7(5): 591-618 (1997)