著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Keimel, Klaus","Domains and processes : proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999",,Kluwer Academic,2001,Semantic structures in computation,,0792371437,,https://cir.nii.ac.jp/crid/1130282272443463296