Bernhard Huber Roman Obermaisser A Comparison of NoTA and GENESYS. 181-192 2009 SAMOS http://dx.doi.org/10.1007/978-3-642-03138-0_19 conf/samos/2009 db/conf/samos/samos2009.html#HuberO09