specification of stacks
- properties of the inputs assumed by an operation.
- the effects of a operation.
it is useful to distinguish between operations that...
- create stacks:
- destroy stacks:
- inspect stacks:
- modify stacks, or take stacks and produce new ones: