Αποστολή με SMS: Abstract State Machines 2004. Advances in Theory and Practice