Stav dette: Formal relationships in sequential object systems