Hacker News new | ask | show | jobs
Unifying Theories of Programming by Tony Hoare Et Al (unifyingtheories.org)
2 points by journeeman 3369 days ago