References

Lecture notes scribed by the students are available at the Github page.