Zaslat SMS: Formal Relationships in Sequential Object Systems