Nielson, Flemming and Nielson, Hanne Riis and Priami, Corrado and da Rosa, Debora Schuch (2003) Control Flow Analysis for BioAmbients. UNSPECIFIED. (Unpublished)