@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00238145,
 author = {星野, 康夫 and 江川, 明人 and 増田, 龍彦},
 book = {第19回プログラミング・シンポジウム報告集},
 month = {Jan},
 pages = {145--152},
 publisher = {情報処理学会},
 title = {ソフトウェアシステムの安全性とドメイン制御機構},
 volume = {1978},
 year = {1978}
}