Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"住井英二郎 and Eijiro, Sumii",CPS Conversion of Imperative Language with Exception Handling and Its Formalization,情報処理学会論文誌プログラミング（PRO）,1882-7802,情報処理学会,2004-11-15,45,SIG12(PRO23),67-82,https://cir.nii.ac.jp/crid/1050564287843969792,