@misc{indiciae5eb78d2c8473,
  title = {Analysis of backward error recovery for concurrent processes with recovery blocks},
  author = {Shin, K. G. and Lee, Y. H.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19830010035},
  note = {Source identifier: 19830010035}
}