Stav dette: Algebraic models for accounting systems