@article{oai:ipsj.ixsq.nii.ac.jp:00005067,
 author = {竹山, 寛 and 坂村, 健 and Takeyama, Hiroshi and Sakamura, Ken},
 issue = {5},
 journal = {情報処理},
 month = {May},
 title = {TRON：制御用リアルタイムOS体系ITORON仕様の設計思想とその実現},
 volume = {30},
 year = {1989}
}