Diagrammatic Representation and Inference - Tim Dwyer, Helen Purchase, Aidan Delaney (Springer Berlin Heidelberg, 2014)