Zaslať SMS: Formal models in programming :