added page numbers of both sipser editions to syllabus