@TechReport{Navara-TR-1999-14-Semipast,
  IS =     { zkontrolovano 26 Nov 99 },
  author =   {Navara, Mirko},
  title =   {Two descriptions of state spaces of orthomodular
                  structures},
  institution =   {Center for Machine Perception, Czech Technical
                  University},
  address =   {Prague, Czech Republic},
  year =   {1999},
  month =   {November},
  type =   {Research Report},
  number =   {CTU-CMP-1999-14},
  pages =   {11},
  authorship =   {100},
  project =   { VZ98/013 },
  psurl =   {[TR-1999-14.ps.gz]},
}