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

by David C Luckham, Friedrich W von Henke
Venue:IEEE Software