A modification support system-automatic correction of side effects caused by type modifications. - Takao Tenma; Yasuomi Sato; Yasuhiko Morimoto; Minoru Tanaka; Tadao Ichikawa (Syst. Comput. Jpn., 1991)

Program Refinement Using Generic Object. - Yasuomi Sato; Yasuhiko Morimoto; Tadao Ichikawa (SEKE, 1992)