Oscar Barros Requirements Elicitation and Formalization Through External Design and Object-Oriented Specification. 78-89 1993 conf/iwssd/1993 IWSSD db/conf/iwssd/iwssd1993.html#Barros93