@misc{weko_114294_1,
   title	 = "An Improvement of The Protocol Synthesis Algorithm",
   month	 = "oct",
   year 	 = "1986"
}