著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bailey, Brian and Martin, Grant (Grant Edmund) and Piziali, Andrew",ESL design and verification : a prescription for electronic system-level methodology,,Morgan Kaufmann,2007,The Morgan Kaufmann series in systems on silicon,,9780123735515,,https://cir.nii.ac.jp/crid/1130000798318184320