Naveen Prakash Towards a Formal Definition of Methods. 23-50 1997 2 Requir. Eng. 1 db/journals/re/re2.html#Prakash97