Frithjof Dau The Advent of Formal Diagrammatic Reasoning Systems. 38-56 2009 ICFCA http://dx.doi.org/10.1007/978-3-642-01815-2_3 conf/icfca/2009 db/conf/icfca/icfca2009.html#Dau09