Dean Kelley Technical report column. 30-32 2008 39 SIGACT News 1 http://doi.acm.org/10.1145/1360443.1360452 db/journals/sigact/sigact39.html#Kelley08