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