Wang S, Barbosa LS, Oliveira JN.? 2008.??A relational model for confined separation logic. 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering - TASE. :263-270.