著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Banieqbal, Behnam and Barringer, Howard and Pnueli, A. (Amir) and Colloquium on Temporal Logic in Specification","Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings",,Springer-Verlag,1989,Lecture notes in computer science,,"3540518037,0387518037",,https://cir.nii.ac.jp/crid/1130000797861239680