@article{Bayer:800,
      author        = "Bayer, Zdeněk",
      title         = "{}",
}