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