Conchon and Jean-Christophe Filliâtre. Semi-Persistent Data Structures (2007)

by Sylvain