Amin Timany, Lars Birkedal: Reasoning about monotonicity in separation logic. CPP 2021: 91-104