See: Concrete Mathematics