Communication support for reliable distributed computing - Birman, Kenneth P.; Joseph, Thomas A. (Cornell University <Ithaca, NY> / Department of Computer Science: Technical report, 1986)