@MISC{LPSPACC1.MIZ,
  AUTHOR = {Watase, Yasushige and Endou, Noboru and Shidama, Yasunari},
  TITLE = {On $L^1$ Space Formed by Complex-valued Partial Functions},
  SECTION1 = {Preliminaries of Complex Linear Space},
  SECTION2 = {Quasi-Complex Linear Space of Partial Functions},
  SECTION3 = {Quasi-Complex Linear Space of Integrable Functions},
  SECTION4 = {Quotient Space of Quasi-Complex Linear Space
    of Integrable Functions},
  SECTION5 = {Complex Normed Space of Integrable Functions},
  DAY = {27},
  MONTH = {August},
  YEAR = {2012},
  ADDRESS1 = {3-21-6 Suginami, Tokyo, Japan},
  ADDRESS2 = {Gifu National College of Technology\\Gifu, Japan},
  ADDRESS3 = {Faculty of Engineering\\Shinshu University\\4-17-1 Wakasato, Nagano, Japan},
  SUMMARY = {In this article, we formalized $L^1$
  space formed by complex-valued partial functions
  \cite{Halmos:1974,Rudin:1987}.
  The real-valued case was
  formalized in \cite{LPSPACE1.ABS} and this
  article is a generalization of it.}}

@BOOK{Halmos:1974,
 AUTHOR={Paul R. Halmos},
 TITLE={Measure Theory},
 PUBLISHER={Springer-Verlag},
 YEAR=1974}

@BOOK{Rudin:1987,
 AUTHOR={Rudin, Walter},
 TITLE= {Real and complex analysis},
 PUBLISHER={McGraw-Hill, Inc.}
 YEAR={1987}

