John Segers Jo C. Ebergen Design and Analysis of Up-Down Counters. 185-204 1996 27 Sci. Comput. Program. 2 db/journals/scp/scp27.html#SegersE96