Annalisa Bossi Carla Piazza Sabina Rossi Unwinding Conditions for Security in Imperative Languages. 85-100 2004 conf/lopstr/2004 LOPSTR http://dx.doi.org/10.1007/11506676_6 db/conf/lopstr/lopstr2004.html#BossiPR04