Rigorous foundations of generic programming. Connects algebra and algorithms. Stepanov’s magnum opus.