Benedikt Löwe Revision Forever! 22-36 2006 conf/iccs/2006 ICCS http://dx.doi.org/10.1007/11787181_3 db/conf/iccs/iccs2006.html#Lowe06