@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}
}

{"_id":"d4yjnzkmDFXo7KnSZ","bibbaseid":"luckham-vonhenke-anoverviewofannaaspecificationlanguageforada-1985","downloads":0,"creationDate":"2016-02-23T05:01:36.810Z","title":"An Overview of Anna, a Specification Language for Ada","author_short":["Luckham, D C","von Henke, F W"],"year":1985,"bibtype":"article","biburl":"https://www2.swc.rwth-aachen.de/docs/booksHL.bib","bibdata":{"bibtype":"article","type":"article","annote":"a","author":[{"propositions":[],"lastnames":["Luckham"],"firstnames":["D","C"],"suffixes":[]},{"propositions":["von"],"lastnames":["Henke"],"firstnames":["F","W"],"suffixes":[]}],"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","bibtex":"@article{Luckham1985,\nannote = {a},\nauthor = {Luckham, D C and von Henke, F W},\njournal = {IEEE Software},\nkeywords = {Ada Anna,Ordner-P},\nmendeley-tags = {Ordner-P},\nnumber = {3},\npages = {9--22},\ntitle = {{An Overview of Anna, a Specification Language for Ada}},\nvolume = {2},\nyear = {1985}\n}\n","author_short":["Luckham, D C","von Henke, F W"],"key":"Luckham1985","id":"Luckham1985","bibbaseid":"luckham-vonhenke-anoverviewofannaaspecificationlanguageforada-1985","role":"author","urls":{},"keyword":["Ada Anna","Ordner-P"],"downloads":0,"html":""},"search_terms":["overview","anna","specification","language","ada","luckham","von henke"],"keywords":["dblp","ada anna","ordner-p"],"authorIDs":[],"dataSources":["mBXRzXXyMLZtcDe8E"]}