2. Аветисян Светлана Аванесовна. О семантике бестиповых функциональных программ: дис... канд. физ.- мат. наук: 05.13.04 / Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005.