One of my favorite books is "Algebraic Models For Accounting Systems" -- http://www.amazon.com/Algebraic-Models-For-Accounting-Systems/dp/9814287113 http://www.

One of my favorite books is "Algebraic Models For Accounting Systems" -- http://www.amazon.com/Algebraic-Models-For-Accounting-Systems/dp/9814287113 http://www.amazon.com/Algebraic-Models-For-Accounting-System... Fundamentally this book is about the application of abstract algebra to the analysis of accounting systems. Add in APL or J (or Haskell if you must) by way of "Algebra: An Algorithmic Treatment" (http://www.amazon.com/Algebra-algorithmic-treatment-Kenneth-Iverson/dp/B0006WTFW6 http://www.amazon.com/Algebra-algorithmic-treatment-Kenneth-...), and you build a quite rigorous proof-based accounting system.