The course text for MIT 6.832 (and 6.832x on edX) - View it on GitHub