David S. Johnson A Catalog of Complexity Classes. 67-161 1990 Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) db/books/collections/leeuwen90.html#Johnson90