Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) BISTA Bhed Bahadur,A synthesis algorithm of a protocol model from a single entity,"Seventh International Conference on Formal Description Techniques, FORTE'94, Berne, Switzerland, 4-7 October",,,1994,,,,https://cir.nii.ac.jp/crid/1570291225700098176,