Separation Logic for Multithreaded Object-Oriented Languages door Clément Hurlin