Logic And Declarative Language - Downward, Michael (Taylor & Francis, 1998)