Compiler-assisted rollback recovery - Chung-Chi Li (1991)