Jens Palsberg Event Driven Software Quality. 165 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_10 db/conf/aplas/aplas2006.html#Palsberg06