著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"McGeer, Patrick C. and Brayton, Robert King",Integrating functional and temporal domains in logic design : the false path problem and its implications,,Kluwer Academic,1991,The Kluwer international series in engineering and computer science,,0792391632,,https://cir.nii.ac.jp/crid/1130282273247658752