Michael Ben-Or
Shafi Goldwasser
Joe Kilian
Avi Widgerson
Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC ’88
Two prover protocols