Software requirements & specifications - Jackson, Michael (Addison-wesley publishing company, Wokingham, 1995)