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