"Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)" - читать интересную книгу автора (Matthias Blume, Naoki Kobayashi, German Vidal)