@Proceedings{SOFSEM2000-Proceedings,
  IS =     { zkontrolovano 29 Dec 00 },
  key =     {},
  editor =   {V{\'a}clav Hlav{\'a}{\v c} and Ji{\v r}{\'\i } Wiedermann and
                  Keith J. Jeffery},
  title =   {S{OFSEM} 2000: Proceedings of the 27th Conference on
                  Current Trends in Theory and Practice of
                  Informatics},
  booktitle =   {S{OFSEM} 2000: Proceedings of the 27th Conference on
                  Current Trends in Theory and Practice of
                  Informatics},
  year =   {2000},
  pages =   {460},
  publisher =   {Springer-Verlag},
  address =   {Berlin, Germany},
  isbn =   {3-540-41348-0},
  volume =   {1963},
  series =   {Lecture Notes in Computer Science},
  number =   {},
  venue =   {Milovy Czech Republic},
  month =   {November, December},
  day =     {November 25 - December 2},
  authorship =   {45-45-10},
  annote =   {},
  keywords =   {computer science, informatics},
  note =   {},
  project =   {VS96049, J04/98:212300013},
}