@MISC{WAYBEL21.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {{L}awson Topology in Continuous Lattices},
  NOTE = {Partially supported by NATO Grant CRG 951368, NSERC OGP 9207 grant 
and KBN grant 8 T11C 018 12.},
  SECTION1 = {Semilattice Homomorphism and Inheritance},
  SECTION2 = {Nets and Limits},
  SECTION3 = {Lawson Topology Revisited},
  DAY = {12},
  MONTH = {July},
  YEAR = {1998},
  ADDRESS1 = {University of Bia{\l}ystok},
  SUMMARY = {The article completes Mizar formalization of Section 1 of
Chapter III of \cite[pp.~145--147]{CCL}.}}

