著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Cantone, Domenico and Omodeo, Eugenio and Policriti, Alberto and Schwartz, Jacob T.",Set theory for computing : from decision procedures to declarative programming with sets,,Springer Verlag,2001,Monographs in computer science,,0387951970,,https://cir.nii.ac.jp/crid/1130282271575166336