Anfonwch hwn fel neges destun: Элементы анализа программ. Частичные функции на множестве состояний