Randall Davis, McGraw-Hill, 1982) en 1976.