Diagrammatic Representation and Inference 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings - Dwyer, Tim. (Springer Berlin Heidelberg,)