O'Hearn. Separation Logic Tutorial. Springer Berlin Heidelberg, 2008, doi:10.1007/978-3-540-89982-2_6.