Martin Büchi Ralph-Johan Back Compositional Symmetric Sharing in B. 431-451 1999 conf/fm/1999-1 World Congress on Formal Methods https://doi.org/10.1007/3-540-48119-2_25 db/conf/fm/fm1999-1.html#BuchiB99