safeDpi : a language for controlling mobile code /
Hennessy, Matthew.
Rathke, Julian.
Yoshide, Nobuko.
University of Sussex.Computer Science.
Brighton : University of Sussex,
2003.
Title from cover.
Includes bibliographical references.