Pattern-directed inference systems - Waterman, D. A. (Academic Press, 1978)