Shuling Wang Quan Long Zongyan Qiu Type Safety for FJ and FGJ. 257-271 2006 conf/ictac/2006 ICTAC http://dx.doi.org/10.1007/11921240_18 db/conf/ictac/ictac2006.html#WangLQ06