де Карвальо Д.., Маццара М.., Мингела Б.А., Сафина Л.Р., Трошков Н.Е., Чичигин А.Д. Статическая проверка типов для языка Jolie // № 10, 2017