@techreport{weko_22709_1, author = "谷津行穂 and 大場充 and 滝本法良 and 門田富史", title = "抽象プログラム・モデルと機能写像", year = "1981", institution = "日本アイ・ビー・エム製品保証, 日本アイ・ビー・エム製品保証, 日本アイ・ビー・エム製品保証, 日本アイ・ビー・エム製品保証", number = "42(1980-SE-017)", month = "feb" }