著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Liu, Zhiming and He, Jifeng",Mathematical frameworks for component software : models for analysis and synthesis,,World Scientific,2006,Series on component-based software development,,9789812700179,,https://cir.nii.ac.jp/crid/1130282269922063872