著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Workshop on the Analysis of Concurrent Systems and Denvir, B. T.","The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings",,Springer-Verlag,1985,Lecture notes in computer science,,"3540160477,0387160477",,https://cir.nii.ac.jp/crid/1130000796798624256