Wigderson, Avi. 1983. <i>Studies in Computational Complexity</i>.