@article{oai:soar-ir.repo.nii.ac.jp:00018420,
 author = {Miyajima, Keiichi and Kato, Takahiro and Shidama, Yasunari},
 issue = {4},
 journal = {Formalized Mathematics},
 month = {Dec},
 note = {Article, Formalized Mathematics. 18(4): 201-206 (2010)},
 pages = {201--206},
 title = {Riemann Integral of Functions R into C},
 volume = {18},
 year = {2010}
}