Paul J Deitel, Harvey Deitel