@article{7177,
      author       = "Anderson, Robert B.",
      title        = "Dokazateĺstvo praviĺnosti programm",
      year         = "1982",
      note         = "Perevod s angl., Souběž. titul v angl. - Obr. v textu. -
                      Liter. - Předmět. rejstřík, 1 sv.",
}