Zaslat SMS: A relational theory of computing /