[DanielRibeiro]

People wondering how IP = PSPACE can delve further into the free draft of this great book on the subject: http://www.cs.princeton.edu/theory/index.php/Compbook/Draft