米希尔·贝拉雷;沙菲·戈德瓦瑟 决策与搜索的复杂性。 （英语） Zbl 0802.68052号 SIAM J.计算。 23，第1号，97-119（1994）.MSC公司：2015年第68季度 2015年3月15日 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bellare}和\textit{S.Goldwasser}，SIAM J.Compute。23，第1号，97--119（1994；Zbl 0802.68052） 全文： 内政部
沙菲·戈德瓦瑟 交互式证明和应用程序。 （英语） Zbl 0751.03020号 程序。国际会议。数学。，京都/日本1990年，第二卷，1521-1535（1991年）。 审核人：D.Mundici（米兰） MSC公司：2015年3月15日 2015年第68季度 03英尺20英寸 PDF格式BibTeX公司 XML格式引用 \textit{S.Goldwasser}，in：国际数学家大会（ICM）会议记录，1990年8月21-29日，日本京都。第二卷。东京等地：施普林格-弗拉格。1521--1535（1991年；Zbl 0751.03020）
西爱洛。;Goldwasser，S。;约翰·Hástad 关于互动的力量。 （英语） Zbl 0715.68028号 组合数学 10，第1号，3-25（1990）.MSC公司：2015年第68季度 2015年3月15日 PDF格式BibTeX公司 XML格式引用 \textit{W.Aiello}等人，Combinatorica 10，No.1，3--25（1990；Zbl 0715.68028） 全文： 内政部
沙菲·戈德瓦瑟;西尔维奥·米卡利;查尔斯·拉科夫 交互式证明系统的知识复杂性。 （英语） Zbl 0677.68062号 SIAM J.计算。 186-208年第1期第18页（1989年）. 审核人：海因里希·古根海默 MSC公司：68吨15 07年3月 2015年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Goldwasser｝等人，SIAM J.Comput。18，第1号，186--208（1989；Zbl 0677.68062） 全文： 内政部 链接
沙菲·戈德瓦瑟 交互式证明系统。 （英语） Zbl 0675.68030号 计算复杂性理论，Proc。Short Course，亚特兰大，乔治亚州/美国1988年，Proc。交响乐团。申请。数学。38, 108-128 (1989). 审核人：克里斯蒂安·卡鲁德（奥克兰） MSC公司：2015年第68季度 2015年3月15日 PDF格式BibTeX公司 XML格式