O'Hearn, P; (2019) Separation Logic. Communications - ACM , 62 (2) pp. 86-95. 10.1145/3211968.