Title: Formal Methods for Distributed Processing
Subjects: Electronic data processing, distributed processing, Object-oriented programming (computer science)