Graphs and order proceedings 1984 door