Envoyer par SMS: Program Development as a Formal Activity