"Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (John Gallagher)