Babak Khazaei Chris Roast The influence of formal representation on solution specification. 69-77 2003 8 Requir. Eng. 1 http://dx.doi.org/10.1007/s00766-002-0146-9 db/journals/re/re8.html#KhazaeiR03