A modern theory of factorial designs (Springer, 2006)