From Mathematics to Generic Programming

de Alexander A. Stepanov, Daniel E. Rose

A detailed, mathematically-oriented examination of abstraction in software development leading to concepts and techniques in generic programming.