"ANNA - A Language for Annotating Ada Programs", David Luckham et al, Springer 1987

Languages mentioned

• ANNA {1987}