@techreport{weko_22767_1,
   author	 = "河岡司 and 友永充宏 and 高橋祥兼",
   title	 = "プロトコルの記述方法と検証方法について",
   year 	 = "1978",
   institution	 = "日本電信電話公社横須賀電気通信研究所, 日本電信電話公社横須賀電気通信研究所, 日本電信電話公社横須賀電気通信研究所",
   number	 = "28(1978-SE-008)",
   month	 = "nov"
}