- Michael Anderson, Peter Cheng, Volker Haarslev, editors, Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Volume 1889 of Lecture Notes in Computer Science, Springer, 2000.