Text this: The conceptual framework for financial reporting represented in a Formal Language