Yi Lu 0003 John Potter A Type System for Reachability and Acyclicity. 479-503 2005 conf/ecoop/2005 ECOOP http://dx.doi.org/10.1007/11531142_21 db/conf/ecoop/ecoop2005.html#LuP05