Paulo Veríssimo Travelling through wormholes: a new look at distributed systems models. 66-81 2006 37 SIGACT News 1 http://doi.acm.org/10.1145/1122480.1122497 db/journals/sigact/sigact37.html#Verissimo06