Beamer presentation on O’Hearn's Resources, Concurrency and Local Reasoning which covers heap space ownership through Separation logic