Text this: [Вып.] 152 : Теория вычислений и языки спецификаций