Теория программирования: Труды симпозиума. Новосибирск, 7-11 авг. 1972 г. / АН СССР. Сиб. отд-ние. Вычислит. центр. - Новосибирск, 1972. - 2 т. - Непомнящий, В. А.; АН СССР. Сиб. отд-ние; Симпозиум по теории программирования. Новосибирск. 1972 (1972)