Complexity theory companion - Hemaspaandra, Lane A (2002)