Software product quality control - Wagner, Stefan (Springer-Velag, 2013)