Diagrammatic Representation and Inference - Hutchison, David; Kanade, Takeo; Plimmer, Beryl; Rodgers, Peter (Springer Berlin Heidelberg, 2012)