[GMR85] Goldwasser, S., S. Micali, and C. Rackoff. "On the Knowledge Complexity of Interactive Proof Systems." In Proceedings of the 17th ACM Symposium on the Theory of Computing STOC. Providence, Rhode Island, U.S.A.: ACM Press, 1985, pp. 291-304.

The following paper was not handed out in class, but referred to.

[Sha90] Shamir, A. "IP = PSPACE." In Proceedings, 31st Annual IEEE Symposium on Foundations of Computer Science. St. Louis, Missouri: IEEE Press, 1990, pp. 11-15.