Querying and Analysis of Software Specifications. - Andrea F. Abate; C. D'apolito; Giancarlo Nota; Giuliano Pacini (SEKE, 1992)

Writing and Analyzing System Specifications by Integrated Linguistic Tools. - Andrea F. Abate; C. D'apolito; Giancarlo Nota; Giuliano Pacini (Int. J. Softw. Eng. Knowl. Eng., 1997)