Stephan Ellner Walid Taha The semantics of graphical languages. 122-133 2007 conf/pepm/2007 PEPM http://doi.acm.org/10.1145/1244381.1244402 db/conf/pepm/pepm2007.html#EllnerT07