Anna Beletska Wlodzimierz Bielecki Krzysztof Siedlecki Pierluigi San Pietro Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops. 871-886 2008 ICCSA (2) https://doi.org/10.1007/978-3-540-69848-7_69 conf/iccsa/2008-2 db/conf/iccsa/iccsa2008-2.html#BeletskaBSP08