Redirecting to https://drops.dagstuhl.de/storage/15dagstuhl-seminar-reports/1995/DagSemRep.120/DagSemRep.120.pdf.