Paul G. Spirakis 5-21 2008 SAGT http://dx.doi.org/10.1007/978-3-540-79309-0_3 conf/sagt/2008 db/conf/sagt/sagt2008.html#Spirakis08