Wigderson, A. (1983). Studies in computational complexity.