Knowledge-based systems in engineering - Dym (McGraw-Hill, 1991)