Automated reasonic 33 basic research problems - Wos, Larry (Prentice Hall, 1988)