著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Droste, Manfred and Gurevich, Yuri",Semantics of programming languages and model theory,,Gordon and Breach Science Publishers,1993,"Algebra, logic and applications series",,2881249353,,https://cir.nii.ac.jp/crid/1130000794650996224