Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=254717
Copy and paste this citation
JOHN T. O'DONNELL
and GUDULA RÜNGER
(2004).
FUNCTIONAL PEARL Derivation of a logarithmic time carry lookahead addition circuit. Journal of Functional Programming, 14
,
pp 697-713
doi:10.1017/S0956796804005180