СЕЛЯВКА, Е. HELGINS: универсальный язык для написания анализаторов типов. Computer Tools in Education, n. 4, 20 Jan. 2014.