Book/Algebraic Models for Accounting Systems

Rambaud, Salvador Cruz; Pérez, José García; Nehmer, Robert A.; Robinson, Derek J S Robinson (2010). Algebraic Models for Accounting Systems. local page: Cambridge at the University Press. ISBN 978-981-4287-11-1. 

Research Synopsis

This book is being used as the main reference book to integrate my work on Algebra of Systems with pragmatic accounting practice. It turns out that accounting, as described by Prof. Gautam Dasgupta, should be also be described as abstract-counting. For digitally realize these accounting models, one might to refer to the book Digital Accounting: The Effects of the Internet and ERP on Accounting. The idea of The Accounting System as an Algebraic Automaton can also be found in this paper.

Excerpts

The following sections are some excerpts from this book.

Decision problems for Accounting Systems

1. Decide whether a given transaction is allowable.
2. Decide whether a given balance vector is allowable.
3. Decide whether a given transaction is feasible.
4. Decide whether a final balance vector could actually have occurred by correctly applying a sequence of allowable transactions to a given initial balance vector.
5. Decide whether two accounting systems on the same account set are equivalent, i.e., if they have the same feasible transactions and hence the same monoid.
6. Decide whether a given accounting system is of a specific type such as those described in Chapter 7.