"It has been proposed that problems with producing complex computer code in debugged and reliable form may provide an outer limit for the use of computers to solve certain type of problems." J. Glimm and D. Sharp, IBM J. Res. Dev, 31, 1987 Diffpack takes you beyond what used to be the limit!