Відправити по sms: Computer-aided specification techniques /