著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Guessarian, Irène and Laboratoire Informatique Théorique et Programmation (France). Spring School and Institut pour la recherche en informatique de Toulouse","Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings",,Springer-Verlag,1990,Lecture notes in computer science,,"3540534792,0387534792",,https://cir.nii.ac.jp/crid/1130000796884552448