A computational Logic. - Boyer, Robert S. (ACM Monograph Series., 1979)