著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Dijkstra, Edsger Wybe and Feijen, W. H. J. and 玉井, 浩",プログラミングの方法 : 論理学を用いた正しいプログラムの作り方,,サイエンス社,1991,Information & computing,,4781906311,,https://cir.nii.ac.jp/crid/1130282272604477184