@article{weko_6419_1,
   author	 = "澤田,正方 and 今井,直文",
   title	 = "高信頼化技術：事例：国鉄座席予約システムにおける高信頼化技法",
   journal	 = "情報処理",
   year 	 = "1982",
   volume	 = "23",
   number	 = "4",
   month	 = "apr"
}