“...АН СССР Ленинг. ин-т. информатики и автоматизации...”