著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Winter, Victor L. and Bhattacharya, Sourav",High integrity software,,Kluwer Academic,2001,The Kluwer international series in engineering and computer science,,0792379497,,https://cir.nii.ac.jp/crid/1130000796696820608