Pošljite SMS: The correctness problem in computer science /