Sources for ISSAC '13 paper "Fast algorithms for l-adic towers over finite fields"