1. ENTCS;R. Bornat,2006
2. SIGPLAN Not.;C. Calcagno,2005
3. Calcagno, C., Gardner, P., Zarfaty, U.: Local reasoning about data update. Electron. Notes Theor. Comput. Sci. 172, 133–175 (2007)
4. Calcagno, C., O’Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: LICS 2007, Washington, DC, USA, pp. 366–378. IEEE Computer Society, Los Alamitos (2007)
5. DeRoever, W., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, Cambridge (1999)