Logic And Declarative Language - M. Downward (Taylor and Francis, 1998)