Вычислительные системы [Текст] : Сб. науч. тр. 152 : Теория вычислений и языки спецификаций / Рос. АН, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева; Науч. ред. Ершов Ю. Л., Гончаров С. С. - Новосибирск : ИМ, 1995. - 219,(1)с. - Библиогр. в конце ст. - ISBN 5-86134-012-9 : 2000.00.
Пoдробнее