Introduction to the Theory of Computation
Course director: Zbigniew Stachniak
Course Description: follow this link