@MISC{WAYBEL13.MIZ,
  AUTHOR = {Milewski, Robert},
  TITLE = {Algebraic and Arithmetic Lattices. {P}art {I}},
  NOTE = {This work was partially supported by
   KBN Grant 8 T11C 018 12.},
  SECTION1 = {Preliminaries},
  SECTION2 = {Algebraic and Arithmetic Lattices},
  SECTION3 = {Maps},
  DAY = {04},
  MONTH = {March},
  YEAR = {1997},
  ADDRESS1 = {Warsaw University\\Bia{\l}ystok},
  SUMMARY = {We formalize \cite[pp. 87--89]{CCL}.}}

