Zaslat SMS: Abstract machines