2014. HELGINS: универсальный язык для написания анализаторов типов. Компьютерные инструменты в образовании. 4 (янв. 2014).