Theory and Applications of Diagrams by M.A. Henderson & V. Haarslev