池田 信之,五十嵐 滋,水谷 哲也,細野 千春,辻 尚史: "プログラムのリファインメントと同値性について" 応用数学合同研究集会報告集. 80-85 (1990)

Nobuyuki Ikeda、Shigeru Igarashi、Tetsuya Mizutani、Chiharu Hosono、Takashi Tsuji：“关于程序细化和等效性”应用数学联合研究会议报告80-85（1990）。