Invia SMS: Mathematical Structures in Computer Science