Zaslat SMS: Formal groups and applications.