Foundations of secure computation - DeMillo, Richard A. (Academic press, 1978)