Система типового контроля программ на языке функционального программирования FPTL
Бочаров, И. А., Кутепов, В. П., Шамаль, П. Н.
Система типового контроля программ на языке функционального программирования FPTL, [Текст]
Программные продукты и системы, 2014, № 2. - С. 11-17