An "Accounting Workbench" with SpecFlow step definitions using the domain language of double entry bookkeeping. It allows developers and accountants to specify transactions in Gherkin Given-When-Then notation.