ABE: An Environment for Engineering Intelligent Systems. - Erman, Lee D.; Lark, Jay S.; Hayes-Roth, Frederick (IEEE Transactions on Software Engineering, 1988)