@inproceedings{oai:niit.repo.nii.ac.jp:00000500,
 author = {角山, 正博 and 小坂, 和彦 and 内藤, 祥雄},
 book = {昭和61年度電子通信学会信越支部大会},
 month = {},
 publisher = {電子情報通信学会},
 title = {論理回路の入出力集合による仕様記述と設計検証},
 year = {1986}
}