theory of computation resources

http://infolab.stanford.edu/~ullman/ialc.html
http://www.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html