Describir: Универсальные языки программирования. Семантический подход