Zhaojun Wo, Israel Koren, "Synthesis of Saturating Counters Using Traditional and Non-traditional Basic Counters", Proceedings of the 17th IEEE Symposium on Computer Arithmetic, Cape Cod, Massachusetts, June 27-29, 2005