Declarative Language Handbook - Linda K. Murphy