Text this: Automatická syntéza programov a metodológia programovania :