Ingrid Rewitzky Jeff W. Sanders Involutions on Relational Program Calculi. 129-171 2008 18 Sci. Ann. Comp. Sci. http://www.infoiasi.ro/bin/Annals/Article?v=XVIII&a=5 db/journals/cuza/cuza18.html#RewitzkyS08