"Functional and Logic Programming, 6 conf., FLOPS 2002" - читать интересную книгу автора (Zhenjiang Hu, Mario Rodriquez-Artalejo)