Allen Newell;Herbert A. Simon
-;-
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering