@MISC{YELLOW_8.MIZ,
  AUTHOR = {Trybulec, Andrzej},
  TITLE = {{B}aire Spaces, {S}ober Spaces},
  NOTE = {This work was partially supported by
   the Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Families of complements},
  SECTION3 = {Topological preliminaries},
  SECTION4 = {Baire Spaces},
  SECTION5 = {Sober Spaces},
  SECTION6 = {More on regular spaces},
  DAY = {08},
  MONTH = {January},
  YEAR = {1997},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {In the article concepts and facts necessary to continue
   formalization of theory of continuous lattices according to \cite{CCL}
   are introduced.}}

