MATHEMATICAL LOGIC AND PROGRAMMING LANGUAGES (NEW JERSEY PRENTICE HALL INTERNATIONAL, 1985)