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