Odonnell's Undergrad Complexity
Henry's Linear Algebra
Bartle & Sherbert's Real Analysis
Axler's Linear Algebra
Vrajitoru & Knight's Probabilistic Analysis of Algorithms
A Hobbyist's Dialogue on Theoretical CS and Overview of Computational Complexity
Auditing Honors Linear Algebra at UCLA, A Gratitude and Retrospection.
Proving a Space Lower-bound on a Contrived Automata
