Легалов, А.И., Легалов, И.А. и Матковский, И.В. 2020. Добавление статической типизации в язык функционально-потокового параллельного программирования. Электронные библиотеки. 23, 4 (май 2020), 788-807. DOI:https://doi.org/10.26907/1562-5419-2020-23-4-788-807.