Отправить по sms: Computability and Complexity Results for a Spatial Assertion Language for Data Structures