Source : Free On-Line Dictionary of Computing

ANNotated Ada
     
         (Anna) A {specification} language
        developed at {Stanford University} ca. 1980 for formally
        specifying {Ada} programs.  It has a Specification Analyzer
        and a Consistency Checking System.  It adds semantic
        {assertions} in the form of Ada {comments}.
     
        {(ftp://anna.stanford.edu/pub/anna/)}.
     
        ["ANNA - A Language for Annotating Ada Programs", David
        Luckham et al, Springer 1987].
     
        (1994-11-01)