BANANA - A Tool for Boundary Ambients Nesting ANAlysis. - Chiara Braghin; Agostino Cortesi; Stefano Filippone; Riccardo Focardi; Flaminia L. Luccio; Carla Piazza (TACAS, 2003)