Seol mar théacs é seo: Algebraic models for accounting systems