Steffen Jurk Mira Balaban Towards Effect Preservation of Updates with Loops. 59-75 2002 conf/tc11-5/2002 IICIS db/conf/tc11-5/iicis2002.html#JurkB02