@ARTICLE{NavaraGrado97Atti,
  mynote =   { S1998, A1999 },
  AUTHOR =   {Navara, Mirko},
  TITLE =   { State spaces of orthomodular structures },
  JOURNAL =   {Atti Univ. Modena},
  importance =   {1},
  HREF =   {[PostScript,
                  k]},
}