@MISC{XXREAL_0.MIZ,
  AUTHOR = {Committee, Library},
  TITLE = {Introduction to Arithmetic of Extended Real Numbers},
  DAY = {4},
  MONTH = {January},
  YEAR = {2006},
  ADDRESS1 = {Association of Mizar Users}}

