"Functional and Constraint Logic Programming - WFLP 2011" - читать интересную книгу автора (Herbert Kuchen)