 Computing the Internet Checksum (RFC 1071)

Primary source: www.rfc-editor.org/rfc/rfc1071.html

Section 1 gives generation and verification of the Internet checksum, including end-around carry; Section 2 explains algebraic properties used for efficient implementations.