@article{Luckham1985,
annote = {a},
author = {Luckham, D C and von Henke, F W},
journal = {IEEE Software},
keywords = {Ada Anna,Ordner-P},
mendeley-tags = {Ordner-P},
number = {3},
pages = {9--22},
title = {{An Overview of Anna, a Specification Language for Ada}},
volume = {2},
year = {1985}
}