Edsger W. Dijkstra: On Binary Operators and Their Derived Relations. BIT 28(3): 377-382 (1988)