"Functional and Logic Programming, 5 conf., FLOPS 2001" - читать интересную книгу автора (Herbert Kuchen, Kazunori Ueda)