Daco Harkes. Relations: a first class relationship and first class derivations programming language. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 9-10, ACM, 2014. [doi]