"Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (Peter Padawitz)