Software specification and design - keller,Marilyn (John Wiley& sons, America, 1992)