Wlodzimierz Drabent Towards More Precise Typing Rules for. 120-133 2006 conf/ppswr/2006 PPSWR http://dx.doi.org/10.1007/11853107_9 db/conf/ppswr/ppswr2006.html#Drabent06