Formal Methods for Distributed Processing by Howard Bowman & John Derrick