On the formalization of accounting standards | Synapse