A class of inherently fault tolerant distributed programs (1988)

by F B Bastani, I L Yen, I R Chen
Venue:IEEE TSE