Hacker News new | ask | show | jobs
by nickpsecurity 3544 days ago
The word formalized might be where disagreement started. If you meant precise & useful, Hansen formalized the definition Ive seen in some books. If you mean in mathematical specification, you might be correct. Im not sure when that got started.