Title: Formal Techniques for Disributed Objects, Components, and Systems
Subjects: Object-oriented methods (computer science), Computer software, reliability