Artificial intelligence an introductory course (Univ. Press, 1978)