Andrea F. Abate, C. D apolito, Giancarlo Nota, Giuliano Pacini. Writing and Analyzing System Specifications by Integrated Linguistic Tools. International Journal of Software Engineering and Knowledge Engineering, 7(1):69-99, 1997. [doi]
Abstract is missing.