M. G. Ilieva Olga Ormandjieva Automatic Transition of Natural Language Software Requirements Specification into Formal Presentation. 392-397 2005 conf/nldb/2005 NLDB http://dx.doi.org/10.1007/11428817_45 db/conf/nldb/nldb2005.html#IlievaO05