發送短信: Algebraic models for accounting systems