2007. HELGINS: универсальный язык для написания анализаторов типов. Computer Tools in Education. 4 (Aug. 2007).