constructions in order-enriched categories (1975)

by Fixed-point