и обоснование на премирование НИР за 1980 г. из централизованного фонда по лаборатории экспериментальной информатики.