Automatická syntéza programů - Svobodová, Jana (1979)