@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00237479,
 author = {水谷, 哲也 and 五十嵐, 滋 and 辻, 尚史 and Mizutani, Tetsuya and Igarashi, Shigeru and Tsuji, Takashi},
 book = {第30回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {181--190},
 publisher = {情報処理学会},
 title = {軌跡準同型によるプログラムの仕様の保存性},
 volume = {1989},
 year = {1989}
}