Pre−Adjunctions in Order Enriched Categories - Martin, C; Hoare, C; He, J (1991)