@misc{weko_89114_1,
   title	 = "A LOTOS Based Synthesis Method for Protocol Specification",
   month	 = "nov",
   year 	 = "1993"
}