Theory and Practice - Jarret M. Brachman (Taylor and Francis, 2008)