Functional and logic programming. - Ida, Tetsuo (World Scientific, 1997)