Индуктивный синтез программ обработки символьных последовательностей

Новосибирск

141 стр.