Software requirements objects,functions and states - Davis (Prentice Hall, 1993)