What is minispec?

• A. It is a step-by-step description of how an operation transforms its inputs to outputs
• B. Calls to other operations may be included in minispec
• C. They are more often written in a pseudo code language
• D. All of the mentioned