Deakstadieđáhus: Algebraic models for accounting systems