Hacker News
- Program Development by Stepwise Refinement (1971) http://sunnyday.mit.edu/16.355/wirth-refinement.html 5 comments
- Medical Devices: The Therac-25 (1995) http://sunnyday.mit.edu/papers/therac.pdf 18 comments
Lobsters
- Program Development by Stepwise Refinement http://sunnyday.mit.edu/16.355/wirth-refinement.html 4 comments practices