Pyshkin, Andrey : Algebraic Cryptanalysis of Block Ciphers Using Groebner Bases. TU Darmstadt [Ph.D. Thesis], (2008)