1. Abramsky, S., Jung, A.: Domain Theory, Handbook of Computer Science and Logic, vol. 3. Clarendon Press, Oxford (1995)
2. Blyth, T.S., Janowitz, M.F.: Residuation Theory. Pergamon Press, Oxford (1972)
3. Bulman-Fleming, S., Mahmoudi, M.: The category of S-posets. Semigr. Forum 71(3), 443–461 (2005)
4. Crole, Roy L.: Categories for Types. Cambridge University Press, Cambridge (1994)
5. Davey, B.A., Priestly, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)