Цейтлин, Г. Е. Формальные преобразования в алгоритмической алгебре условий / Г. Е. Цейтлин ; АН УССР. Ин-т кибернетики. Препринт 73-25. - Киев, 1973. - 28 с. 20см. Subjects--Index Terms: ალგებრა ლოგიკა ალგორითმული პროცესები Universal Decimal Class. No.: 512.9