@techreport{weko_36333_1,
   author	 = "荒木哲郎 and 高田賢次 and 吉武静雄",
   title	 = "階層化プロトコルを実現するプログラムの検証論理の生成法",
   year 	 = "1983",
   institution	 = "電電公社横須賀電気通信研究所, 電電公社横須賀電気通信研究所, 電電公社横須賀電気通信研究所",
   number	 = "21(1983-DPS-019)",
   month	 = "jul"
}