Ravi B. Boppana Michael Sipser The Complexity of Finite Functions. 757-804 1990 Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) db/books/collections/leeuwen90.html#BoppanaS90