Hanne Riis Nielson Flemming Nielson Shape Analysis for Mobile Ambients. 233-275 2001 8 Nord. J. Comput. 2 http://www.cs.helsinki.fi/njc/References/riisnielsonn2001:233.html db/journals/njc/njc8.html#NielsonN01