@MISC{YELLOW_0.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Bounds in Posets and Relational Substructures},
  NOTE = {This work was partially supported by
   Office of Naval Research Grant N00014-95-1-1336.},
  SECTION1 = {Reexamination of poset concepts},
  SECTION2 = {Least upper and greatest lower bounds},
  SECTION3 = {Relational substructures},
  DAY = {10},
  MONTH = {September},
  YEAR = {1996},
  ADDRESS1 = {Institute of Mathematics\\Polish Academy of Sciences},
  SUMMARY = {Notation and facts necessary to start with
   the formalization of continuous lattices according to \cite{CCL}
   are introduced.}}


@BOOK{CCL,
       AUTHOR = {Gierz, G. and Hofmann, K.H. and Keimel, K. and Lawson, J.D. and Mislove, M. and Scott, D.S.},
        TITLE = {A Compendium of Continuous Lattices},
    PUBLISHER = {Springer-Verlag},
         YEAR = {1980},
      ADDRESS = {Berlin, Heidelberg, New York}}
