These materials are for educational use by members of the Rice Computer Science Department. Use for other purposes requires permission of the author.