@article{OR04, author = {O'Donnell, J. and R\"{u}nger, G.}, title = {{Derivation of a Logarithmic Time Carry Lookahead Addition Circuit}}, journal = {Journ. of Functional Programming, Special Issue on Functional Pearls}, volume = {14}, number = {6}, pages = {697--713}, year = {2004}, issn = {0956-7968}, publisher = {Cambridge University Press}, }