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