Logic and Declarative Language by M Downward