Moshe Y. Vardi CACM: past, present, and future. 44-48 2008 51 Commun. ACM 1 http://doi.acm.org/10.1145/1327452.1327474 db/journals/cacm/cacm51.html#Vardi08