Аксіоматична семантика – Інші мови