Computer Architecture, Appendix J: Carry-Lookahead