Programming with Futures, Lattices and Quiescence by Philipp Haller