Enviar por SMS: Formal models in programming :