Селявка, Е. HELGINS: универсальный язык для написания анализаторов типов. CTE 2014.