General resources relevant for the course are included here.