Pavel Grigorenko Enn Tyugu Deep Semantics of Visual Languages. 83-95 2006 JCKBSE conf/jckbse/2006 db/conf/jckbse/jckbse2006.html#GrigorenkoT06