@article{oai:ksu.repo.nii.ac.jp:00008680,
 author = {出村, 和也 and Demura, Kazuya and 平石, 裕実 and Hiraishi, Hiromi},
 issue = {2},
 journal = {京都産業大学計算機科学研究所所報, The bulletin of the Institute of Computer Sciences Kyoto Sangyo University},
 month = {Mar},
 note = {3, KJ00000558142, P},
 pages = {109--136},
 title = {16ビットマイクロプロセッサの形式的設計検証},
 volume = {12},
 year = {1996},
 yomi = {デムラ, カズヤ and ヒライシ, ヒロミ}
}