Book

Distributed Systems: Methods and Tools for Specification

by M. W. Alford