Annalisa Bossi Nicoletta Cocco Massimo Fabris Typed Norms. 73-92 1992 conf/esop/1992 ESOP db/conf/esop/esop92.html#BossiCF92 http://dx.doi.org/10.1007/3-540-55253-7_5