Conference paperSpecification of stored data structures and desired output results in DIAM II with FORAL