Paul J. Deitel, Harvey Deitel