Hacker News new | ask | show | jobs
Rigorous Engineering of Mainstream Systems (cl.cam.ac.uk)
3 points by ishtu 3085 days ago