Отправить по sms: From Algebra to Operational Semantics