Теория программирования / АН СССР. Сиб. отд-ние. Вычислит. центр. Ч. 1. — 279 с.