Zaslat SMS: Program Development as a Formal Activity