Methodologie der Programmierung : Vorträge aus dem Problemseminar, Geising, 3. - 7. Nov. 1980 (Technická univerzita, 1980)