An overview of Anna, a specification language for Ada (1985)

by D C Luckham, F von Henke
Venue:In IEEE Software