Ordered sets proceedings 1981 door