"Theory of Computation"; Portland State University: Prof. Harry Porter; www.cs.pdx/~harry