The End of Absence
Michael Harris
Change by Design
Brown, Tim
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
The C++ Standard Library: A Tutorial and Reference
Nicolai M. Josuttis
Linear Algebra Done Right
Sheldon Axler