Papers-presented-to-Istvan-Ormos-on-his-seventieth-birthday Papers-presented-to-Istvan-Ormos-on-his-seventieth-birthday