Add references from lecture notes.