@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},
}