@misc{weko_123047_1,
   title	 = "Operator Based Protocol Synthesis for LOTOS Specification",
   month	 = "mar",
   year 	 = "1993"
}