Karell Bertet Jens Gustedt Michel Morvan Weak-Order Extensions of an Order. 65-77 1997 conf/wg/1997 WG db/conf/wg/wg97.html#BertetGM97 http://dx.doi.org/10.1007/BFb0024488