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