Lian, Richard. "Design of a fault-tolerant distributed operating system based on nested atomic actions/." Doctoral dissertation, Ohio State University, 1984. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487251434784123Chicago Manual of Style (17th edition)