@techreport{weko_21990_1, author = "関本,理佳 and 海尻,賢二", title = "プログラム理解のための仕様記述の分析", year = "1994", institution = "信州大学工学部情報工学科, 信州大学工学部情報工学科", number = "43(1994-SE-098)", month = "may" }