Distributed Systems: Methods and Tools for Specification. An Advanced Course

M.W. Alford , J.P. Ansart , Günter Hommel