Легалов, А. И.; Легалов, И. А.; Матковский, И. В. Добавление статической типизации в язык функционально-потокового параллельного программирования. ЭБ 2020, 23, 788-807.