@techreport{weko_22116_1,
   author	 = "菅原,一伸 and 高橋,薫 and 野口,正一 and 栗田,陽子 and 安藤,敏彦 and 加藤,靖",
   title	 = "Zを用いたプロトコルの仕様記述",
   year 	 = "1992",
   institution	 = "東北大学応用情報学研究センター, 東北大学電気通信研究所, 東北大学応用情報学研究センター, 仙台電波工業高等専門学校, 仙台電波工業高等専門学校, 仙台電波工業高等専門学校",
   number	 = "100(1992-SE-089)",
   month	 = "dec"
}