"Muga Nishizawa,Shigeru Chiba","A Small Extension to Java for Class Refinement",,"The 23rd Annual ACM Symposium on Applied Computing (SAC 2008)","ACM Press",,,"pp. 160-165",2008,Mar.