@TECHREPORT{NavaraHabilitation,
  MYNOTE =   { S1995, A1995, P1995 },
  AUTHOR =   {Navara, Mirko},
  INSTITUTION =   {Czech Technical University, Faculty of Electrical
                  Engineering},
  TITLE =   {Constructions of Quantum Logics ({C}zech)},
  TYPE =   {Habilitation},
  ADDRESS =   {FEL {\v C}VUT, Karlovo n{\'a}m{\v e}st{\'\i } 13,
                  Praha, Czech Republic},
  YEAR =   {1995},
  MONTH =   {May},
}