Zaslat SMS: Combining Generics and Dynamics