Butler W. Lampson What Computers Do: Model, Connect, Engage. 23-26 2012 TAMC http://dx.doi.org/10.1007/978-3-642-29952-0_5 conf/tamc/2012 db/conf/tamc/tamc2012.html#Lampson12