Algebraic cryptanalysis - Bard, Gregory V. (Springer,)