An Upper Bound for the Synthesis of Generalized Parallel Counters | Publicación