Describir: A Computer Programming Approach to the Design of Accounting Systems.