Diagrammatic Representation and Reasoning by B. Meyer, M. Anderson & M.A. Henderson