著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Troelstra, A. S. (Anne Sjerp)",Choice sequences : a chapter of intuitionistic mathematics,,Clarendon Press,1977,Oxford logic guides,,019853163X,,https://cir.nii.ac.jp/crid/1130282272973140736