著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Stenlund, Sören","Combinators, λ-terms and proof theory",,D. Reidel,1972,Synthese library,,9027703051,,https://cir.nii.ac.jp/crid/1130000797630399488