M. Mol and A. Rensink, “On A Graph Formalism for Ordered Edges”, eceasst, vol. 29, Jul. 2010.