Ordered sets - Harzheim, Egbert 1932-2012 (Springer, 2005)