著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
International Workshop on the ACL2 Theorem Prover and Its Applications,"8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009",,Association for Computing Machinery,2009,ACM international conference proceedings series,,9781617380457,,https://cir.nii.ac.jp/crid/1130000795711485696