I SUPPORT STOP SOPA IRELAND!
Sign the petition
Download the menubar
FAQ
stereochro
me
∞
cmt
Retrospective: An Axiomatic Basis for Computer Programming
Created at 12:36 on December 28th, 2009
View the discussion thread.