Oscar Barros
Univ. of Chile, Santiago, Chile
Requirements elicitation and formalization through external design and object-oriented specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design