@inproceedings{OOPSLA-2005-AhernY,
	author        = "Alexander Ahern and Nobuko Yoshida",
	booktitle     = "{Proceedings of the 20th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
	doi           = "10.1145/1094811.1094843",
	editor        = "Ralph E. Johnson and Richard P. Gabriel",
	isbn          = "1-59593-031-0",
	pages         = "403--422",
	publisher     = "{ACM}",
	title         = "{Formalising Java RMI with explicit code mobility}",
	year          = 2005,
}