@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.", }