Funkcionálne a logické programovanie - Bieliková, Mária, 1966-; Návrat, Pavol, 1952- (STU v Bratislave, 2000)