著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
Workshop on Modules and Libraries for Proof Assistants and Association for Computing Machinery,"1st Workshop on Modules and Libraries for Proof Assistants 2009 (MLPA-2009) : Montreal, Canada, 3 August 2009",,Association for Computing Machinery,2009,ACM international conference proceedings series,,9781617380426,,https://cir.nii.ac.jp/crid/1130282269137955968