Axiomatic domain theory in categories of partial maps - Fiore, Marcelo P. (Cambridge Univ. Press, 1996)