Văn bản này: Предикатное представление как основа оптимизации программы для архитектур с явно выраженной паралельностью; Информационные технологии; № 4