He is taking resources by not properly attributing work, actually. One of the big criticisms of NKS was the lack of a real bibliography and there was the whole Wolfram v. Cook debacle on top. As I recall, the book still doesn't credit cook for the proof.