David A. Burke, Kristofer Johannisson. Translating Formal Software Specifications to Natural Language. In Philippe Blache, Edward P. Stabler, Joan Busquets, Richard Moot, editors, Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings. Volume 3492 of Lecture Notes in Computer Science, pages 51-66, Springer, 2005. [doi]
Abstract is missing.