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