@techreport{weko_22252_1, author = "大場,克彦 and 金戸,孝夫", title = "プログラム論理図の形式的表現", year = "1991", institution = "島津製作所東京研究所, 島津製作所東京研究所", number = "66(1991-SE-080)", month = "jul" }