Roberto Baldoni Jean-Michel Hélary Michel Raynal Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. 144-173 2001 165 Inf. Comput. 2 http://dx.doi.org/10.1006/inco.2000.2906 db/journals/iandc/iandc165.html#BaldoniHR01