The course text for MIT 6.832 (and 6.832x on edX)