ЛЕГАЛОВ, А. И.; ЛЕГАЛОВ, И. А.; МАТКОВСКИЙ, И. В. Добавление статической типизации в язык функционально-потокового параллельного программирования. Электронные библиотеки, v. 23, n. 4, p. 788-807, 28 май 2020.