"Shape Analysis for Mobile Ambients."

Hanne Riis Nielson, Flemming Nielson (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics