Andrea F. Abate C. D'apolito Giancarlo Nota Giuliano Pacini Writing and Analyzing System Specifications by Integrated Linguistic Tools. 69-99 1997 7 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S0218194097000047 db/journals/ijseke/ijseke7.html#AbateDNP97