著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Fitzgerald, John and Larsen, Peter Gorm and Mukherjee, Paul and Plat, Nico and Verhoef, Marcel and 酒匂, 寛",VDM++によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法,,翔泳社,2010,IT architects' archive,,9784798119618,,https://cir.nii.ac.jp/crid/1130000796011162880