Ўхшаш китоблар «Программирование: теоремы и задачи», А. Х. Шень