Dave Barker-Plummer, Sidney C. Bailin. On the Practical Semantics of Mathematical Diagrams. In Michael Anderson, Bernd Meyer 0001, Patrick Olivier, editors, Diagrammatic Representation and Reasoning. pages 339-355, Springer, 2002. [doi]
Abstract is missing.