Automatická syntéza programov a metodológia programovania : Kand.diz.práca : V.odb. 26-15-9 : Obh. 08.12.1983 - Návrat, Pavol, 1952- (SVŠT v Bratislave EF, 1983)