@inproceedings{OR01, author = {O'Donnell, J. and R\"{u}nger, G.}, title = {{Derivation of a Carry Lookahead Addition Circuit}}, booktitle = {Proc. of the PLI'01 ACM SIGPLAN Haskell Workshop}, series = {Electronic Notes in Theoretical Computer Science}, volume = {59}, pages = {1--31}, year = {2001}, publisher = {ACM}, }