Wei-Ngan Chin Shengchao Qin TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China TASE IEEE Computer Society 2009 978-0-7695-3757-3 db/conf/tase/tase2009.html