Michael Anderson Peter Cheng Volker Haarslev Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings Diagrams Lecture Notes in Computer Science 1889 Springer 2000 3-540-67915-4 db/conf/diagrams/diagrams2000.html