Title: Introduction to Reliable Distributed Programming
Subjects: Electronic data processing, distributed processing