QUALTES: A Domain Specific Tool for Electric Power Stations. - Tsunehiko Suzuki; Ryuji Kudo; Katsunori Ikami; Kentaro Iida; Takao Terano (IJCAI, 1993)

SpecRefiner: Assistance for stepwise refinement of software development in the upstream process. - Ryuji Kudo; Shinichi Nakasuka; Koichi Hori (Syst. Comput. Jpn., 2003)