record journals/toplas/LamportSP82

maintained by Schloss Dagstuhl LZI at University of Trier