Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"Musha, Hiroyuki and Tokuda, Takehiro",Transformations of Communicating Sequential Processes(Mathematical Theories on Computing Schemes and Their Applications),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,1983-06,494,,126-136,https://cir.nii.ac.jp/crid/1050001335643814784,