Readings in artificial inteligence and software engineering - Rich, Charles; Waters, Richard C. (Morgan Kaufmann Publishers, 1986)