Please go to https://www.icr.ethz.ch/teaching/archive/compmodels/ws2004/models for the models used in this course.