Measurement and modeling of computer reliability as affected by system activity
A quorum-consensus replication method for abstract data types
The integration of virtual memory management and interprocess communication in Accent