On the cost of reducing the interaction in interactive proof protocols - Moran, Shlomo (1986)