@article{oai:ipsj.ixsq.nii.ac.jp:00008081,
 author = {野口, 健一郎 and 元岡, 達 and Noguchi, Kenichiro and Moto-Oka, Tohru},
 issue = {2},
 journal = {情報処理},
 month = {Feb},
 title = {オペレーティング・システムの記述に関する一考察},
 volume = {14},
 year = {1973}
}