Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform. - Masahiko Yamazaki; Hiroshi Yamazaki; Yasunari Shidama (Formaliz. Math., 2008)

Complex Integral. - Masahiko Yamazaki; Hiroshi Yamazaki; Katsumi Wasaki; Yasunari Shidama (Formaliz. Math., 2009)