Achieving quality software : including its application to safety-related systems /
Smith, David J.(David Joseph),1946-
London :  Chapman & Hall,
1995.