Diagrammatic representation and inference 8th international conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014 ; proceedings - Dwyer, Tim (Lecture notes in computer science, 2014)