Van der Waerden theorem for sequences of integers not containing an arithmetic progression of k terms Jaroslav Nešetřil, Vojtěch Rödl (1976) Commentationes Mathematicae Universitatis Carolinae