著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Barendregt, H. P. (Hendrik Pieter) and Manzonetto, Giulio",A Lambda calculus satellite,,College Publications,2022,Studies in logic,,9781848904156,,https://cir.nii.ac.jp/crid/1130582840084960800