Approximate counting with counters: A detailed analysis - Prodinger, Helmut (Theoretical Computer Science, 2012)