Erik T. Mueller Johanna D. Moore Gerald J. Popek A Nested Transaction Mechanism for LOCUS. 71-89 1983 SOSP db/conf/sosp/sosp83.html#MuellerMP83