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
This question was posed to me in a job interview.
The origin of the question is Algorithm and Data Structure Specification topic in division Visibility, Accessibility and Information Hiding of Software Architecture