Title: Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Subjects: Computer programming