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