Finite axiomatization of finite soluble groups - Wilson, J (2006)