Svante Carlsson Jingsen Chen Christer Mattsson Heaps with Bits. 1-12 1996 164 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs164.html#CarlssonCM96 http://dx.doi.org/10.1016/0304-3975(95)00152-2