著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Schultz, Patrick and Spivak, David I.",Temporal type theory : a topos-theoretic approach to systems and behavior,,Birkhäuser,2019,Progress in computer science and applied logic,,9783030007034,,https://cir.nii.ac.jp/crid/1130282271697662720