Дж.Шварца "Абстрактные алгоритмы и теоретико-множественный язык для их выражения" (пер. Л.В.Суковатициной).
