@MISC{WAYBEL26.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Continuous Lattices of Maps between {T}$_0$ Spaces},
  NOTE = {This work has been supported by KBN Grant 8 T11C 018 12.},
  DAY = {24},
  MONTH = {September},
  YEAR = {1999},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {Formalization of \cite[pp. 128--130]{CCL}, chapter II,
  section 4 (4.1 -- 4.9).}}

