3,356 followers pruet ☂ @pruet anyone interested in this topic, I recommend this paper by Hoare’s team, must read https://t.co/27UJF6ns26 21 Dec 2018 Reply Repost Favourite