Title: Accounting information systems as algebras and first order axiomatic models