3. MFCS 1974: Jadwisin near Warsaw, Poland

Automata Theory

Computing Systems

Cooperating Processes and Simulation

Formal Languages

Mathematical Aspects of Application Methodology

Theory of Programs