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