Dean Kelley Technical report column. 47-49 2008 39 SIGACT News 2 http://doi.acm.org/10.1145/1388240.1388251 db/journals/sigact/sigact39.html#Kelley08b