Nested transactions An approach to reliable distributed computing - Moss, J.Eliot B. (Massachusetts Institute of Technology Cambridge Mass., 1985)