Alessandro Fantechi, Stefania Gnesi, Gioia Ristori, Michele Carenini, Massimo Vanocchi, Paolo Moreschini. Assisting Requirement Formalization by Means of Natural Language Translation. Formal Methods in System Design, 4(3):243-263, 1994.
Abstract is missing.