Weinmann, Ralf-Philipp : Algebraic Methods in Block Cipher Cryptanalysis. TU Darmstadt [Ph.D. Thesis], (2009)