著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Jones, Cliff B. and 劉, 志明 and Woodcock, James",Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays,,Springer,2007,Lecture notes in computer science,,9783540752202,,https://cir.nii.ac.jp/crid/1130000797751462016