@techreport{weko_26438_1, author = "宮島,明 and 竹田,孝治 and 宮崎,俊夫", title = "高信頼度オンライン・トランザクション・システム", year = "1989", institution = "日本電気(株)基本ソフトウェア開発本部, 日本システムウェア(株)システム事業本部, 日本電子開発(株)公共・金融システム本部", number = "49(1989-OS-043)", month = "jun" }