Key points are not available for this paper at this time.
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.
Luckham et al. (Fri,) studied this question.