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