Matthew Hennessy Julian Rathke Nobuko Yoshida safeDpi: a language for controlling mobile code. 227-290 2005 42 Acta Inf. 4-5 http://dx.doi.org/10.1007/s00236-005-0178-y db/journals/acta/acta42.html#HennessyRY05