Alex K. Simpson The Convex Powerdomain in a Category of Posets Realized by CPOs. 117-145 1995 conf/ctcs/1995 Category Theory and Computer Science db/conf/ctcs/ctcs1995.html#Simpson95