Han-Hing Dang, Peter Höfner: Variable Side Conditions and Greatest Relations in Algebraic Separation Logic. RAMiCS 2011: 125-140