@InProceedings{MayetNavaraGorizia99,
  IS =     { zkontrolovano 26 Nov 99 },
  author =   {Mayet, Ren{\'e} and Navara, Mirko},
  title =   {Constructions and varieties of orthomodular lattices
                  with rich state spaces},
  pages =   {76--89},
  booktitle =   {Proc. Workshop on Measure Theory and Real Analysis},
  publisher =   {University of Trieste, Italy},
  isbn =   {none},
  year =   {1999},
  book_pages =   {233},
  editor =   {A.~Vol\v ci\v c},
  month =   {September},
  day =     {},
  venue =   {Gorizia, Italy},
  address =   {Trieste, Italy},
  organization = {University of Gorizia},
  volume =   {},
  series =   {},
  number =   {},
  importance =   {1},
  psurl =   {[PostScript,
                  86k]},
  www =     {},
  note =   {},
  project =   { VZ98/013 },
}