special programming languages (Anafiev)