Zaslat SMS: Mathematical foundations of computer science :