Semantics of programming languages and algebra Dagstuhl-Seminar-report; 65 07.06.-11.06.93(9323) - Droste, Manfred; Gurevich, Yuri