Zaslať SMS: Generovanie kompilátorov na princípoch denotačnej sémantiky :