The complexity theory companion - Hemaspaandra, Lane A. (Texts in theoretical computer science : : an EATCS series, 2002)