Відправити по sms: Logic + control: On program construction and verification