著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
International Workshop on Logical Frameworks and Meta-languages Theory and Practice and Association for Computing Machinery,"4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009",,Association for Computing Machinery,2009,ACM international conference proceedings series,,9781615675449,,https://cir.nii.ac.jp/crid/1130000797081366656