@article{weko_15598_1, author = "佐藤匡正", title = "解法を表すプログラム図法の実現性分析", journal = "情報処理学会論文誌", year = "1986", volume = "27", number = "11", pages = "1129--1136", month = "nov" }