Formal Relationships In Sequential Object Systems