Hideharu Amano Tadao Nakamura Guest Editors' Introduction: ICFPT 2007. 2009 2 TRETS 2 http://doi.acm.org/10.1145/1534916.1534917 db/journals/trets/trets2.html#AmanoN09