@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00223430,
 author = {斉藤, 信男},
 book = {第15回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {125--144},
 publisher = {情報処理学会},
 title = {OSの理論},
 volume = {1974},
 year = {1974}
}