Grail: a functional form for imperative mobile code (2003)

by L Beringer, K MacKenzie, I Stark
Venue:In Foundations of Global Computing: Proceedings of the 2nd EATCS Workshop, number 85.1 in Electronic Notes in Theoretical Computer Science