record conf/sosp/NeedhamW77

maintained by Schloss Dagstuhl LZI at University of Trier