Tool MKSF for acquiring super-function in Java. - Fuji Ren; Yoichi Takehara (SMC, 2000)