Zaslat SMS: Practical Aspects of Declarative Languages