Semi-persistent Data Structures (2008)

by S Conchon, J-C Filliâtre
Venue:In ESOP, volume 4960 of LNCS