Oscar Barros Germán Pavez An Object-Oriented Executable Requirements Specification Language. 227-232 1991 DEXA db/conf/dexa/dexa91.html#BarrosP91