@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239086,
 author = {篠崎, 政久 and 宮寺, 庸造 and 米田, 信夫 and Shinozaki, Masahisa and Miyadera, Youzou and Yoneda, Nobuo},
 book = {第36回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {119--126},
 publisher = {情報処理学会},
 title = {C言語に対する形式的意味記述の一手法},
 volume = {1995},
 year = {1995}
}