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