@MISC{NFCONT_3.MIZ,
  AUTHOR = {Okazaki, Hiroyuki and Endou, Noboru and Shidama, Yasunari},
  TITLE = {More on Continuous Functions on Normed Linear Spaces},
  SECTION1 = {Preliminaries},
  SECTION2 = {Continuous Real Functions into Normed Linear Spaces},
  SECTION3 = {Lipschitz Continuity},
  DAY = {17},
  MONTH = {August},
  YEAR = {2010},
  ADDRESS1 = {Shinshu University, Nagano, Japan},
  ADDRESS2 = {Nagano National College of Technology, Nagano, Japan},
  ADDRESS3 = {Shinshu University, Nagano, Japan},
  SUMMARY = {In this article we formalize the definition
  and some facts about continuous functions from $\BbbR$ into
  normed linear spaces \cite{Schwartz:1967}.},
  ACKNOWLEDGEMENT = {This work was supported by JSPS KAKENHI 22300285.}}

@ARTICLE{Schwartz:1967,
      AUTHOR  = {Laurent Schwartz},
      TITLE   = {Cours d'Analyse, Vol. 1},
      JOURNAL = {Hermann Paris},
      YEAR    = 1967}
