Title: Distributed Systems: Methods and Tools for Specification
Subjects: Electronic data processing, Distributed processing