Software requirements : objects,functions,and states - Alan M Davis (Prentice-Hall, New Jersey, 1993)