An Object-Oriented Executable Requirements Specification Language. - Oscar Barros; Germán Pavez (DEXA, 1991)