Translating formal software specifications to natural language / A grammar-based approach

David A. Burke, Kristofer Johannisson
[doi] [Google Scholar] [DBLP] [Citeseer]

Logical Aspects of Computational Linguistics (LACL 2005)
LNAI, volume 3402
Springer
Pages 51-66
2005
Note(s): formal specification, natural language