James E. Allchin Martin S. McKendry Synchronization and Recovery of Actions. 31-44 1983 PODC db/conf/podc/podc83.html#AllchinM83