Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
Choice Reviews Online · 1991
What ANNA is simple annotations using simple annotations exceptions package specifications the process of specifying packages annotation of generic units annotation of operations on composite types annotation of the hidden parts of packages interpretation of package specifications processes for consistent implementation of packages syntax tools.