record conf/sosp/1985

maintained by Schloss Dagstuhl LZI at University of Trier