Alexander Ahern Nobuko Yoshida Formalising Java RMI with explicit code mobility. 403-422 2005 conf/oopsla/2005 OOPSLA http://doi.acm.org/10.1145/1094811.1094843 db/conf/oopsla/oopsla2005.html#AhernY05