@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00232186,
 author = {米澤, 明憲},
 book = {第20回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {71--86},
 publisher = {情報処理学会},
 title = {高度な並列性を内部にもつソフトウェアシステムに対する仕様及び検証技法について},
 volume = {1979},
 year = {1979}
}